Development and application of a designer oriented cyclic simulator
DAC '76 Proceedings of the 13th Design Automation Conference
Design and verification of large-scale computers by using DDL
DAC '79 Proceedings of the 16th Design Automation Conference
IEEE Transactions on Computers
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
Diagrammatic function description of microprocessor and data-flow processor
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
DAC '83 Proceedings of the 20th Design Automation Conference
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
Simulation based verification of register-transfer level behavioral synthesis tools
EURO-DAC '90 Proceedings of the conference on European design automation
An Inductive Assertion Method for Register Transfer Level Design Verification
IEEE Transactions on Computers
Logic design verification using automated test generation
ITC'84 Proceedings of the 1984 international test conference on The three faces of test: design, characterization, production
Hi-index | 0.01 |
The IBM 3081 Processor Complex consists of a 3081 Processor Unit and supporting units for processor control, power, and cooling. The Processor Unit, completely implemented in LSI technology, has a dyadic organization of two central processors, each with ...