2014

doi dblp
Modeling Digital Switching Circuits with Linear Algebra
Mitchell A. Thornton
2014

2010

doi dblp
Digital System Verification: A Combined Formal Methods and Simulation Framework
Lun Li | Mitchell A. Thornton
2010

2007

doi dblp
Multiple Valued Logic: Concepts and Representations
D. Michael Miller | Mitchell A. Thornton
2007

2006

doi dblp
Introduction to Logic Synthesis using Verilog HDL
Robert B. Reese | Mitchell A. Thornton
2006

Search