Title :
Specification and management of timing constraints in behavioral VHDL
Author :
Curatelli, Francesco ; Mangeruca, Leonardo ; Chirico, Marco
Author_Institution :
Microelectron. Lab., Genoa Univ., Italy
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;
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
DOI :
10.1109/EURDAC.1996.558253