A two-state methodology for RTL logic simulation

Fast discrete function evaluation using decision diagrams

ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design

Fast functional simulation using branching programs

ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design

A C-based RTL design verification methodology for complex microprocessor

DAC '97 Proceedings of the 34th annual Design Automation Conference

Functional verification of a multiple-issue, out-of-order, superscalar Alpha processor—the DEC Alpha 21264 microprocessor

DAC '98 Proceedings of the 35th annual Design Automation Conference

Functional verification of large ASICs

DAC '98 Proceedings of the 35th annual Design Automation Conference

The Verilog hardware description language (4th ed.)

The Verilog hardware description language (4th ed.)