![Hardware description languages / Formal methods / Logic in computer science / Verilog / Application-specific integrated circuit / E / Random test generator / Formal verification / Verification / Electronic engineering / Electronic design automation / Hardware verification languages Hardware description languages / Formal methods / Logic in computer science / Verilog / Application-specific integrated circuit / E / Random test generator / Formal verification / Verification / Electronic engineering / Electronic design automation / Hardware verification languages](https://www.pdfsearch.io/img/4370848994018c47d9f2beaf030bf1b7.jpg)
| Document Date: 2014-06-11 01:47:55 Open Document File Size: 146,06 KBShare Result on Facebook
Company DaveSource Consulting / Hewlett Packard / Transmeta Corp. / David Jeffrey Ljung Madison - Resume Hardware / SandCraft Inc. / iCelero LLC / / / Facility University Of Wisconsin / / IndustryTerm tool chain / album software / web apps / personnel tools / implemented operations management algorithms / fail search/eval / Post silicon debug/tools / software design/implementation / image sorting software / / OperatingSystem Unix / / Organization VLSI Technology Lab / University of Wisconsin / Madison / / Person Marginal Hacks / David Jeffrey Ljung Madison / / / Position Shareware Programmer / checkers and evaluators Tools writer / Contractor / Work Experience Director of Verification / CPU Verification Engineer / verification engineer / controller / VLIW CPU Independent Consultant / / ProgrammingLanguage Perl / Java / Verilog / C / / Technology implemented operations management algorithms / verilog / Java / perl / CAD / / URL http /
SocialTag |