Automatic generation of equivalent architecture model from functional specification

Proceedings - Design Automation Conference

Volumn , Issue , 2004, Pages 608-613

  Abdi, Samar ^a   Gajski, Daniel ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Formal verification; Model Refinement; System level design

Indexed keywords

ALGORITHMS; AUTOMATION; COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; VLSI CIRCUITS;

FORMAL VERIFICATION; MODEL REFINEMENT; SYSTEM LEVEL DESIGN; SYSTEM LEVEL DESIGN LANGUAGES (SLDL);

SYSTEMS ANALYSIS;

EID: 4444342512     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/996566.996732     Document Type: Conference Paper

References (10)

1. SystemC, OSCI[online]. Available: http://www.systemc.org/.
2. S. Abdi and D. Gajski. System Debugging and Verification: A New Challenge. Technical Report ICS-TR-03-31, University of California, Irvine, October 2003.
3. R. Camposano. Behavior-preserving transformations for high-level synthesis. In Proceedings of the Mathematical Sciences Institute workshop on Hardware specification, verification and synthesis: mathematical aspects, pages 106-128. Springer-Verlag New York, Inc., 1990.
4. X. Chen, H. Hsieh, F. Balarin, and Y. Watanabe. Case studies of model checking for embedded system designs. In Third International Conference on Application of Concurrency to System Design, pages 20-28, June 2003.
5. D. Gajski, J. Zhu, R. Domer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology. Kluwer Academic Publishers, January 2000.
6. C. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
7. Middlehoek. A methodology for the design of guaranteed correct and efficient digital systems. In IEEE International High Level Design Validation and Test Workshop, November 1996.
8. R. Milner. A Calculus of Communicating Systems. Springer, 1980.
9. S. Rajan. Correctness of transformations in high level synthesis. In International Conference on Computer Hardware Description Languages and their Applications, pages 597-603, June 1995.
10. S. Wang and S. Malik. Synthesizing operating system based device drivers in embedded systems. In Proceedings of the International Symposium on System Synthesis, pages 37-44, September 2003.