David Jeffrey Ljung Madison

Objective: To stop getting called by recruiters all the time.

I am currently very happy at my current company and not looking for a job.

Unless you intend to allow me to bring my dog to work, give me a window office and either give me a job in San Francisco or allow me to regularly telecommute, then I am not currently looking for a job, and I don't know anyone who is.

Work Experience

CPU Verification Engineer, Transmeta Corp. Jan 2000 - Current.

I split my time between tool development and block-level verification.

I'm making some neat stuff that I can't really talk about.

CPU Verification Engineer, SandCraft Inc.. July 1998 - Jan 2000.

I was part of a MIPs processor verification team.

In charge of initial verification of the execute half of SR1:

Designed and implemented testbench in Behavioral Verilog/C PLI. Initially it tested portions of the chip that were finished, and eventually was used for full chip verification.

Created the major tool flow for verification except for some random code generators and the simulator.

Wrote an assembler/template generator and a weightfile generator

Wrote testplan, found and debugged failures with logic designers

Wrote queueing software, status scripts, plenty of docs

Preparation for next project:

Used down time to rewrite a large portion of the tool chain and documentation to clean it up and add desired features.

CPU Verification and Debug, VLSI Technology Lab, Hewlett-Packard. August 1995 - June 1998.

I was working in the Engineering Systems Lab (now VTC) in Fort Collins, Colorado which designs the PA-RISC line of workstation/server processors.

PA-8000 post-silicon debugging/tools:

Boot code and test framework

Hardware environmental testing and debug software

Finding and debugging failures

PA-8500 pre-silicon verification:

Random code generators, test creation

Test checkers and evaluators

Tools writer

PA-8500 post-silicon setup:

Created the entire tool chain for post-silicon system debug from scratch (except for some of the random code generators), such as controller scripts, environment scripts, shmoo scripts, failure searching and evaluation, boot code and test framework.

Other duties:

Lab Resource: Unix, programming, scripting..

Published in HP Journal article on CPU verification

Tool geek (wrote CAD tools, personnel tools, etc..)

Shareware Programmer, Marginal Hacks

I maintain a bunch of tools that I wrote at Marginal Hacks.

album, the most popular project on there, is highly ranked at freshmeat and is the first link if you search for the word album at google, due to it's popularity.

Shareware Programmer, WizPort Project June 1993 - Current.

In college I spent a number of years creating a large software project called the WizPort, an solution to a very complex UNIX problem. The goal of the WizPort was to allow non-root level users set up a virtual UNIX machine that people could connect to on a different port. This 'machine' had it's own filesystem with a file security system that was far more complex and flexible than the UNIX system. Part of this project included creating an entirely new UNIX shell and modifying many UNIX utilities to work with the WizPort.

Project references available on request

University Project, DEStiny 1994

One of my favorite school projects was the DEStiny chip. This was a VLSI implementation of the DES password encryption algorithm that I created with a fellow student to demonstrate weaknesses in current password security.

Coolest Two Lines of Code Ever, SpeedWaller 1989

See the description at http://DaveSource.com/Projects/SpeedWaller.
6 months on two lines of code. Talk about dedication!

Skills

Computer Languages

I write most of my big programs in C or Perl, though I have written large projects in Assembly. I have worked in C++, but not for a while.
At one time I've even used the following languages: C++, Lisp, Basic, Fortran, Ruby, Python, sed, yacc, sh, ksh, zsh, csh, tcsh, and so forth.
I generally require only two days to learn a new language, and I gain fluency soon thereafter.

Computing Environments

I have experience in UNIX system administration/shell scripting and have expertise in UNIX programming.

Human Languages

I read and write English fluently. I am a firm believer in writing understandable documentation and I have been known to over-comment my code.

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 tool I have used, including some of the big guys:
gcc, cpp preprocessor (a hang!), HPUX CC, HPUX linker, various assemblers, perl (2 so far), various shells (tcsh, ksh, ..), various verilog interpretors (VCS, ESP), rccs versioning software, etc..

Education