DocumentCode
2276658
Title
Specification and management of timing constraints in behavioral VHDL
Author
Curatelli, Francesco ; Mangeruca, Leonardo ; Chirico, Marco
Author_Institution
Microelectron. Lab., Genoa Univ., Italy
fYear
1996
fDate
16-20 Sep 1996
Firstpage
522
Lastpage
527
Abstract
In this paper a suitable way to specify and manage timing constraints in behavioral VHDL is described. The problem of timing semantics coherency is addressed and a suitable set of procedures is defined to add timing constraint specification in behavioral VHDL for system synthesis. Then, a proper semantics is described which is able to provide a powerful and flexible management of timing constraints
Keywords
formal specification; hardware description languages; high level synthesis; logic CAD; real-time systems; timing; behavioral VHDL; system synthesis; timing constraint specification; timing constraints; timing semantics coherency; Control system synthesis; Energy management; Hardware; Power system management; Process control; Real time systems; Signal processing; Signal synthesis; Specification languages; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1996, with EURO-VHDL '96 and Exhibition, Proceedings EURO-DAC '96, European
Conference_Location
Geneva
Print_ISBN
0-8186-7573-X
Type
conf
DOI
10.1109/EURDAC.1996.558253
Filename
558253
Link To Document