David Ljung Madison Stellar



415-341-5555

[email protected]

Silicon Valley, CA

CAREER SUMMARY

CPU verification expert who can take on large verification tasks as well as toolchain creation, ready to fit in at your organization and make a difference. Resume v5.5, 2023/05

SKILLS

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.

ACCOMPLISHMENTS

Created entire custom verification toolchain for multiple companies from generators to modular TBs

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

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

Specializes in creating state-of-the-art code generators such as a highly sophisticated reverse code packer for a custom VLIW CPU that builds itself based off of parsing the specification.

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.

Designed/implemented custom shipping operations algorithms as a test pilot for DHL, accomplishing an order of magnitude improvement in runtime and savings.

Worked for many startups as consultant, such as JasperGold, Vizional, 3Plus1, etc..

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

REQUIREMENTS

Permanent position with full or majority telecommute based in SF/Silicon Valley.

EMPLOYMENT / EDUCATION

Jan 2017

- Present

NVidia

Senior GPU Verification Engineer

May 2015

- Jan 2016

Bluechip Systems

Verification Consultant

Feb 2007

- Dec 2013

iCelero, LLC

Director of Verification

Jul 2002

- Jan 2017

DaveSource Consulting

Head Engineer

Jan 2000

- Jul 2002

Transmeta Corp

CPU Verification Engineer

Jul 1998

- Jan 2000

SandCraft, Inc

CPU Verification Lead

Aug 1994

- Jun 1998

Hewlett-Packard

CPU Verifcation and Debug

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