Logic optimization and code generation for embedded control applications
Proceedings of the ninth international symposium on Hardware/software codesign
Transformation based communication and clock domain refinement for system design
Proceedings of the 39th annual Design Automation Conference
Software synthesis from synchronous specifications using logic simulation techniques
Proceedings of the 39th annual Design Automation Conference
Tutorial: Compiling concurrent languages for sequential processors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Optimization and synthesis for complex reactive embedded systems by incremental collapsing
Proceedings of the tenth international symposium on Hardware/software codesign
Generalized cofactoring for logic function evaluation
Proceedings of the 40th annual Design Automation Conference
TinyGALS: a programming model for event-driven embedded systems
Proceedings of the 2003 ACM symposium on Applied computing
galsC: A Language for Event-Driven Embedded Systems
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Evaluation of multiple-output logic functions using decision diagrams
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
Don't cares in logic minimization of extended finite state machines
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Optimization for faster execution of Esterel programs
Formal methods and models for system design
Synthesis of time-constrained multitasking embedded software
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Object and method exploration for embedded systems applications
Proceedings of the 20th annual conference on Integrated circuits and systems design
PESSOA: a tool for embedded controller synthesis
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
Hi-index | 0.03 |
Software components for embedded reactive real-time applications must satisfy tight code size and run-time constraints. Cooperating finite state machines provide convenient intermediate format for embedded system co-synthesis, between high-level specification languages and software or hardware implementations. We propose a software generation methodology that takes advantage of a restricted class of specifications and allows for tight control over the implementation cost. The methodology exploits several techniques from the domain of Boolean function optimization. We also describe how the simplified control/data-flow graph used as an intermediate representation can be used to accurately estimate the size and timing cost of the final executable code