Title :
SyntHorus: Highly efficient automatic synthesis from PSL to HDL
Author :
Oddos, Yann ; Morin-Allory, Katell ; Borrione, Dominique
Author_Institution :
Tima Lab., Grenoble, France
Abstract :
We propose a linear complexity approach to achieve automatic synthesis of designs from temporal specifications. Each property is turned into a component combining monitor and generator features: the extended-generator. We connect them with specific components to obtain a design that is correct by construction. It shortens the design flow by removing implementation and functional verification steps. Our approach synthesizes circuits specified by hundreds of temporal properties in a few seconds. Complex examples (i.e. CONMAX-IP and GenBuf) show the efficiency of the approach.
Keywords :
high level synthesis; CONMAX-IP; GenBuf; HDL; PSL; SyntHorus; automatic synthesis; generator; linear complexity; monitor features; Complexity theory; Connectors; Generators; Hardware design languages; Monitoring; Protocols; Syntactics; PSL; extended-generators; generators; high-level synthesis; monitors; synthorus;
Conference_Titel :
Very Large Scale Integration (VLSI-SoC), 2009 17th IFIP International Conference on
Conference_Location :
Florianopolis
Print_ISBN :
978-1-4577-0237-2
DOI :
10.1109/VLSISOC.2009.6041335
