A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Software synthesis from synchronous specifications using logic simulation techniques
2002
Proceedings - Design Automation Conference
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. Software design complexity for embedded systems has increased so much that a high-level functional programming paradigm need to be adopted for formal verifiability, maintainability and short time-to-market. We propose a framework for efficiently generating implementation software from a synchronous state machine
doi:10.1145/514001.514002
fatcat:xhbxrvy7rzhsfmonbjmkoyxjuq