Computer Hardware Description Languages and their Applications
Latest Publications

TOTAL DOCUMENTS

48

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Elsevier

9780444816412

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Denotational Definition of the VHDL Simulation Kernel

Computer Hardware Description Languages and their Applications ◽

10.1016/b978-0-444-81641-2.50043-5 ◽

1993 ◽

pp. 523-535 ◽

Author(s):

Karen C. Davis

Keyword(s):

Download Full-text

Insulin: An Instruction Set Simulation Environment

Computer Hardware Description Languages and their Applications ◽

10.1016/b978-0-444-81641-2.50034-4 ◽

1993 ◽

pp. 369-376 ◽

Author(s):

Shailesh Sutarwala ◽

Pierre G. Paulin ◽

Yatish Kumar

Keyword(s):

Instruction Set ◽

Simulation Environment

Download Full-text

An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems

Computer Hardware Description Languages and their Applications ◽

10.1016/b978-0-444-81641-2.50030-7 ◽

1993 ◽

pp. 335-344 ◽

Author(s):

Bran Selic

Keyword(s):

Real Time ◽

Object Oriented ◽

Real Time Systems ◽

Download Full-text

Performance Specification and Measurement

Computer Hardware Description Languages and their Applications ◽

10.1016/b978-0-444-81641-2.50026-5 ◽

1993 ◽

pp. 281-298 ◽

Author(s):

Ram Mandayam ◽

Ranga Vemuri

Keyword(s):

Performance Specification

Download Full-text

The Backward Walk Approach in FSM Verification

Computer Hardware Description Languages and their Applications ◽

10.1016/b978-0-444-81641-2.50018-6 ◽

1993 ◽

pp. 155-162 ◽

Author(s):

Stefan Krischer

Download Full-text

Prevail-DM: a framework-based environment for formal hardware verification

Computer Hardware Description Languages and their Applications ◽

10.1016/b978-0-444-81641-2.50011-3 ◽

1993 ◽

pp. 79-96 ◽

Author(s):

Flávio R. Wagner

Keyword(s):

Hardware Verification

Download Full-text

Verilog HDL Modeling Styles for Formal Verification

Computer Hardware Description Languages and their Applications ◽

10.1016/b978-0-444-81641-2.50039-3 ◽

1993 ◽

pp. 453-465

Author(s):

Felice Balarin ◽

Gary York

Keyword(s):

Formal Verification ◽

Download Full-text

Modeling Timing Behavior of Logic Circuits Using Piecewise Linear Models

Computer Hardware Description Languages and their Applications ◽

10.1016/b978-0-444-81641-2.50046-0 ◽

1993 ◽

pp. 569-586

Author(s):

Zainalabedin Navabi ◽

Amirhooshang Hashemi ◽

Massoud Eghtesad ◽

Mankuan Vai

Keyword(s):

Linear Models ◽

Piecewise Linear ◽

Logic Circuits ◽

Timing Behavior ◽

Piecewise Linear Models

Download Full-text

Textual/Graphical Design Capture for Concept-Level Synthesis

Computer Hardware Description Languages and their Applications ◽

10.1016/b978-0-444-81641-2.50041-1 ◽

1993 ◽

pp. 485-502 ◽

Author(s):

Walling R. Cyre

Keyword(s):

Graphical Design ◽

Download Full-text

ESP: An Executable Specification Language for Mixed Timing Control Circuits

Computer Hardware Description Languages and their Applications ◽

10.1016/b978-0-444-81641-2.50037-x ◽

1993 ◽

pp. 417-434 ◽

Author(s):

Tam-Anh Chu ◽

Huy T. Cao ◽

Clement K.C. Leung

Keyword(s):

Specification Language ◽

Timing Control ◽

Executable Specification ◽

Control Circuits

Download Full-text