Vex—A CAD toolbox

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers

The Stanford FLASH multiprocessor

ISCA '94 Proceedings of the 21st annual international symposium on Computer architecture

Programming Perl (2nd ed.)

Programming Perl (2nd ed.)

Validation coverage analysis for complex digital designs

Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design

The Verilog hardware description language (4th ed.)

The Verilog hardware description language (4th ed.)

Using partitioning to help convergence in the standard-cell design automation methodology

Proceedings of the 36th annual ACM/IEEE Design Automation Conference

Scripting: Higher-Level Programming for the 21st Century

Computer

3.1: Practical FSM Analysis for Verilog

IVC-VIUF '98 Proceedings of the International Verilog HDL Conference and VHDL International Users Forum