International Conference on Simulation and Hardware Description Languages (ICSHDL): Proceedings of the 1994 Western MultiConference, January 24-26, 1994, Radisson Tempe Mission Palms, Tempe, ArizonaPhilip A. Wilsey, David Rhodes |
Contents
Functional Specification and Simulation | 3 |
Cohn | 9 |
Simulator Characteristics Needed to Interface | 31 |
Copyright | |
12 other sections not shown
Common terms and phrases
abstract AHDL alen algorithm analog analog circuit analysis architecture behavior binary block Boolean cell circuit clock command compiler complexity component Computer Conference on Simulation decoder defined delay delay calculation described Description Languages ICSHDL Discrete Event Simulation driver entity event pattern example execution fault simulation FIFO formal verification full adder gate level goto Hardware Description Languages hierarchical ICM2 IEEE implementation input int_in integer Intel iPSC/2 interface Intermetrics INTERSPICE ISIG layout logic loop MHDL minterm mode module netlist node operations output parameters partition port PROTO queue represented rollback relaxation scheduling semantics sequence sequential Simulation and Hardware simulation cycle specification SPICE standard structure sub-circuit switch level synthesis tion TLVHDL transistor transition transputers variable vector verify Verilog VHDL description VHDL model VHDL processes VHDL simulation VLSI voltage Wilsey and Rhodes