David Jeffrey Ljung Madison
Home: 415.922.2697

Version Info
	Resume v3.8, released 2004-02-06.  Current source :  

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

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

. 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.

.. 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. 

. Aug 1995 - 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  article on  

Skills

	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

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 ( with Computer Option doubled with ) 
School:1989-1994: ,