The Kluwer International Series in Engineering and Computer Science - Formal Semantics for VHDL
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781461359418, 9781461522379

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines

The Kluwer International Series in Engineering and Computer Science - Formal Semantics for VHDL ◽

10.1007/978-1-4615-2237-9_5 ◽

1995 ◽

pp. 107-139 ◽

Cited By ~ 28

Author(s):

Egon Börger ◽

Uwe Glässer ◽

Wolfgang Muller

Keyword(s):

Formal Definition ◽

Definition Of

Download Full-text

Giving Semantics to VHDL: An Introduction

The Kluwer International Series in Engineering and Computer Science - Formal Semantics for VHDL ◽

10.1007/978-1-4615-2237-9_1 ◽

1995 ◽

pp. 1-8

Author(s):

Carlos Delgado Kloos ◽

Peter T. Breuer

Download Full-text

A Flow Graph Semantics of VHDL: A Basis for Hardware Verification with VHDL

The Kluwer International Series in Engineering and Computer Science - Formal Semantics for VHDL ◽

10.1007/978-1-4615-2237-9_8 ◽

1995 ◽

pp. 205-238 ◽

Cited By ~ 3

Author(s):

Ralf Reetz ◽

Thomas Kropf

Keyword(s):

Hardware Verification ◽

Flow Graph

Download Full-text

A Deterministic Finite-State Model for VHDL

The Kluwer International Series in Engineering and Computer Science - Formal Semantics for VHDL ◽

10.1007/978-1-4615-2237-9_7 ◽

1995 ◽

pp. 170-204 ◽

Cited By ~ 4

Author(s):

Gert Döhmen ◽

Ronald Herrmann

Keyword(s):

State Model ◽

Finite State Model ◽

Finite State

Download Full-text

An Operational Semantics for a Subset of VHDL

The Kluwer International Series in Engineering and Computer Science - Formal Semantics for VHDL ◽

10.1007/978-1-4615-2237-9_4 ◽

1995 ◽

pp. 71-106 ◽

Cited By ~ 2

Author(s):

John P. Van Tassel

Keyword(s):

Operational Semantics

Download Full-text

A Functional Semantics for Delta-Delay VHDL Based on Focus

The Kluwer International Series in Engineering and Computer Science - Formal Semantics for VHDL ◽

10.1007/978-1-4615-2237-9_2 ◽

1995 ◽

pp. 9-42 ◽

Cited By ~ 7

Author(s):

Max Fuchs ◽

Michael Mendler

Download Full-text

A Formal Model of VHDL Using Coloured Petri Nets

The Kluwer International Series in Engineering and Computer Science - Formal Semantics for VHDL ◽

10.1007/978-1-4615-2237-9_6 ◽

1995 ◽

pp. 140-169 ◽

Cited By ~ 4

Author(s):

Serafín Olcoz

Keyword(s):

Petri Nets ◽

Formal Model ◽

Coloured Petri Nets

Download Full-text

A Functional Semantics for Unit-Delay VHDL

The Kluwer International Series in Engineering and Computer Science - Formal Semantics for VHDL ◽

10.1007/978-1-4615-2237-9_3 ◽

1995 ◽

pp. 43-70 ◽

Cited By ~ 1

Author(s):

Peter T. Breuer ◽

Luis Sánchez Fernández ◽

Carlos Delgado Kloos

Download Full-text

The Kluwer International Series in Engineering and Computer Science - Formal Semantics for VHDLLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines

Giving Semantics to VHDL: An Introduction

A Flow Graph Semantics of VHDL: A Basis for Hardware Verification with VHDL

A Deterministic Finite-State Model for VHDL

An Operational Semantics for a Subset of VHDL

A Functional Semantics for Delta-Delay VHDL Based on Focus

A Formal Model of VHDL Using Coloured Petri Nets

A Functional Semantics for Unit-Delay VHDL

The Kluwer International Series in Engineering and Computer Science - Formal Semantics for VHDL
Latest Publications