Logic optimization and code generation for embedded control applications.

Yunjian Jiang Robert K. Brayton

Published in: CODES (2001)

Keyphrases

code generation
application development
control system
code generator
modeling language
software development
model driven
rapid prototyping
fault isolation
data sets
databases
decision making
automatically generated
formal specification
software reuse