David Ljung Madison



Silicon Valley, CA


CPU verification expert who can take on large verification tasks as well as toolchain creation.


Self-starter capable of writing everything from tools to testbenches to test generators.

Computer Languages

Multi-linguistic: Ruby, Perl, C, Java, Verilog, SystemVerilog, assembly, etc.. I often become the ruby/perl resource where I work.


Created entire custom verification toolchain for multiple companies.

Invented an original formal verification technique which went far beyond any industry standard and found all bugs in tested blocks in pre-silicon, see: http://DaveSource.com/Successes/Formal-Blocks/

Have taken ownership of verifying a complete CPU at multiple companies.

Rewrote an entire post-silicon debug toolchain months ahead of schedule at a savings of $3 million per day according to corporate calculations.

Specialize in creating state-of-the-art code generators such as a highly sophisticated reverse code packer for a custom VLIW CPU.

Accomplished at writing Directed-Random testbenches which provide over 95% of coverage.

Great at novel approaches to breaking things, which is why I've posted bugs in almost every tool I've used, including established tools such as compilers, linkers, shells, assemblers.

Creator of shareware tools including 'album,' the world's #1 CLI album generator


May 2015

- Jan 2016

Bluechip Systems

Verification Consultant

Feb 2007

- Dec 2013

iCelero, LLC / 3Plus1 Tech

Director of Verification

Jul 2002

- Present

DaveSource Consulting

Consultant / Owner

Jan 2000

- Jul 2002

Transmeta Corp

CPU Verification Engineer

University of Wisconsin, Madison: Computer Engineering / Computer Science [GPA: 3.0]