Skip to content
Ariadne Lab
Open Menu
Close Menu
Research
Projects
People
Publications
Thesis projects
Research resources
ESC
All Results
Searching...
No results found
Clear search
↑↓
Navigate
↵
Select
Powered by Hugo Blox
Synthesis of TTL specification: A case study
Jan 1, 1998
·
Vincenza Carchiolo
,
Michele Malgeri
,
Giuseppe Mangioni
Cite
publication
Hardware-Software Codesign
←
Formal Codesign Methodology with Multistep Partitioning
Jan 1, 1998
An algorithm for direct synthesis of formal specifications
Jan 1, 1997
→