loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Design Automation and Test in Europe (DATE '98)
Denotational Semantics of a Behavioral Subset of VHDL
Paris, France
February 23-February 26
ISBN: 0-8186-8359-7
ASCII Text
x 
 
Felix Nicoli, "Denotational Semantics of a Behavioral Subset of VHDL," Design, Automation and Test in Europe Conference and Exhibition, pp. 975, Design Automation and Test in Europe (DATE '98), 1998.
 
 
BibTex
x
 
@article{ 10.1109/DATE.1998.655996,
author = {Felix Nicoli},
title = {Denotational Semantics of a Behavioral Subset of VHDL},
journal ={Design, Automation and Test in Europe Conference and Exhibition},
volume = {0},
year = {1998},
isbn = {0-8186-8359-7},
pages = {975},
doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.1998.655996},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Design, Automation and Test in Europe Conference and Exhibition
TI - Denotational Semantics of a Behavioral Subset of VHDL
SN - 0-8186-8359-7
SP
EP
A1 - Felix Nicoli,
PY - 1998
VL - 0
JA - Design, Automation and Test in Europe Conference and Exhibition
ER -
 
Felix Nicoli, Universite de Provence
This paper introduces a denotational semantics of a behavioral subset of VHDL. This subset is restricted to basic data types only and does not allow for clauses in wait statement. We consider the full model of time and resolution, we give a precise definition of the simulation mechanism. Easy translation rules from VHDL to Boyer-Moore logic can be derived from that semantics.
Citation:
Felix Nicoli, "Denotational Semantics of a Behavioral Subset of VHDL," date, pp.975, Design Automation and Test in Europe (DATE '98), 1998
Usage of this product signifies your acceptance of the Terms of Use.