David Jeffrey Ljung Madison

Programming, Algorithm Design/Development, VLSI Verification  

Version Info
	Resume v4.3, released 2007-03-16.  Current source :  http://Daveola.com/Resume/

Contact Info
	Please don’t contact me about full-time work, I’m a contractor.
	I’m also not interested in any long-term relocating.

	Home: 415.922.2697	(call between 12-8p PST)
	Email: resume@DaveSource.com

Objective
	To find contracting work in hardware verification or software development.

Independent Consultant, DaveSource Consulting. Jul 2002 - Present. 
	I'm interested in temporary jobs involving either VLSI/Processor Verification or programming.
o	CPU verification.  Formal verification tool design.
o	Designed and implemented operations management algorithms.
	Order of magnitude improvement in runtime and savings.
o	Custom image sorting software, custom web apps.

CPU Verification Engineer, Transmeta Corp. Jan 2000 - Jul 2002. 
o	Created cycle-accurate models (verilog, perl, scheme) of blocks
o	Created testbenches for formal verification for a number of blocks
o	Wrote pseudo-directed random test generators (verilog, scheme).
o	Accomplished such high coverage for blocks on final project (due to formal verification and test generators) that all but three bugs were found prior to fullchip testing.

CPU Verification Engineer, SandCraft Inc.. Jul 1998 - Jan 2000. 
o	In charge of initial verification of the execute half of  the SR1/Montage CPU:
o	Designed modular verilog/PLI testbench for blocks/fullchip, verified blocks 
o	Created majority of verification tool environment. 

CPU Verification and Debug, VLSI Technology Lab, Hewlett-Packard. Aug 1994 - Jun 1998. 
	Post-silicon debug/tools: 
o	Created the entire tool chain from scratch, including boot code and test framework, controller/environment scripts, shmoo scripts, fail search/eval, etc.. 
o	Hardware environmental testing and debug software 
o	Finding and debugging failures 
	Pre-silicon verification: 
o	Random code generators, test creation 
o	Test checkers and evaluators
o	Tools writer 
o	Lab Resource and tool geek: Unix, programming, scripting.. 
o	Published in HP Journal article on CPU verification 

Skills
Computer Languages 
	Fluent in C, Perl, Scheme and many versions of Assembly. I often become the perl guru/resource wherever I work. Used C++ a long time ago.  Also used Lisp, Ruby, Python, etc..  I require two days to learn a new language.
Shareware Programmer
	Many projects can be found at MarginalHacks.com
Breaking Things
	I like to use things in new and interesting ways, I believe this makes me a good verification engineer. I have managed to break and find bugs in almost every production tool I have used, including compilers, preprocessors, assemblers, linkers, interpretors, shells, cad tools,  etc..

Education
Degree: B.S. ECE/CS (Electrical Computer Engineering with Computer Option doubled with Computer Science) 
School: 1989-1994: University Of Wisconsin, Madison

Member, DNRC

Time's Person of the Year, 2006