David Jeffrey Ljung Madison
1553 Fulton Street #1
San Francisco, CA 94117
Home: 415 922-2697

Work Experience
CPU Verification Engineer, Transmeta Corp. Jan 2000 - Jul 2002. 
•	Created cycle-accurate models (verilog, perl, scheme) of blocks 
•	Created testbenches for formal verification for a number of blocks. 
•	Wrote pseudo-directed random test generators (verilog, scheme). 
•	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. 
In charge of initial verification of the execute half of SR1: 
·  Designed modular verilog/PLI testbench for blocks/fullchip, verified blocks 
·  Created majority of verification tool environment. 

CPU Verification and Debug, VLSI Technology Lab, Hewlett-Packard. Aug 1995 - Jun 1998. 
Post-silicon debug/tools: 
·  Created the entire tool chain from scratch, including boot code and test framework, controller/environment scripts, shmoo scripts, fail search/eval, etc.. 
·  Hardware environmental testing and debug software 
·  Finding and debugging failures 
Pre-silicon verification: 
·  Random code generators, test creation 
·  Test checkers and evaluators
·  Tools writer 
Other duties: 
·  Lab Resource and tool geek: Unix, programming, scripting.. 
·  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. 
At one time I've used the following languages: C++, Lisp, Basic, Fortran, Ruby, Python, sed, yacc, sh, ksh, zsh, csh, tcsh, etc.. I generally require only two days to learn a new language, and I gain fluency soon thereafter. 
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