Synthesis of synchronous interfaces

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn , Issue , 2006, Pages 208-216

  Bhaduri, Purandar ^a   Ramesh, S ^b  

^a INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI   (India)

^b India Science Lab   (India)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION SPECIFIC INTEGRATED CIRCUITS; ELECTRON BEAM LITHOGRAPHY; INTEGRATED CIRCUITS; PROCESS DESIGN; PROCESS ENGINEERING; PROGRAMMABLE LOGIC CONTROLLERS; SYSTEMS ANALYSIS; TRANSLATION (LANGUAGES);

(ALGORITHMIC) COMPLEXITY; COMPONENT COMPOSITION; COMPONENT INTEGRATION; CONVERTERS (PAPER INDUSTRY); DESIGN PROCESSES; FRAME-WORK; INTELLECTUAL PROPERTY BLOCK (IP BLOCK); INTERFACE AUTOMATA; INTERNATIONAL CONFERENCES; PRACTICAL MODELLING; SYNCHRONOUS INTERFACE; SYNTHESIS (OF CHIRAL IONIC LIQUIDS); SYSTEM DESIGNS; SYSTEM-ON-CHIP (SOC) DESIGNS; TIME-CONSUMING PROCESSES; TOP-DOWN;

INTERNET PROTOCOLS;

COMMUNICATION; COMPUTER CHIPS; CONTROLLERS; ELECTRIC CIRCUITS; ENGINEERING; INTERFACES; LITHOGRAPHY; MATHEMATICAL MODELS; PROBLEM SOLVING; TRANSLATION;

EID: 40149090803     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2006.32     Document Type: Conference Paper

References (23)

1. R. Alur, T Henzinger, O. Kupferman, and M. Vardi. Alternating refinement relations. In CONCUR 98: Concurrency Theory, Lecture Notes in Computer Science 1466, pages 163-178. Springer-Verlag, 1998.
2. G. Berry and A. Benveniste. The synchronous approach to reactive and real-time systems. Procedings of the IEEE, 79(9), 1991.
3. P. Bhaduri. Synthesis of interface automata. In Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005), volume 3707 of Lecture Notes in Computer Science, pages 338-353. Springer, 2005.
4. G. Borriello, L. Lavagno, and R. B. Ortega. Interface synthesis: A vertical slice from digital logic to software components. In International Conference on Computer Aided Design (ICCAD-98), pages 693-695. ACM Press, 1998.
5. J. R. Burch, D. Dill, E. Wolf, and G. D. Micheli. Modeling hierarchical combinational circuits. In M. Lightner, editor, Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, pages 612-617. IEEE Computer Society Press, 1993.
6. J. R. Burch, R. Passerone, and A. L. Sangiovanni-Vincentelli. Notes on agent algebras. Technical Report UCB/ERL M03/38, EECS Department, University of California, Berkeley, 2003.
7. A. Chakrabarti, L. de Alfaro, T Henzinger, and F. Mang. Synchronous and bidirectional component interfaces. In CAV 02: Computer-Aided Verification, Lecture Notes in Computer Science 2404, pages 414-427. Springer-Verlag, 2002.
8. L. de Alfaro. Game models for open systems. In Proceedings of the International Symposium on Verification (Theory in Practice), volume 2772 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
9. L. de Alfaro and T. Henzinger. Interface automata. In Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, pages 109-120. ACM Press, 2001.
10. L. de Alfaro, T. Henzinger, and F. Mang. The control of synchronous systems. In CONCUR 00: Concurrency Theory, Lecture Notes in Computer Science 1877, pages 458-473. Springer-Verlag, 2000.
11. D. L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations. MIT Press, 1989.
12. V. D'Silva, S. Ramesh, and A. Sowmya. Bridge over troubled wrappers: Automated interface synthesis. In VLSI Design, pages 189-194. IEEE Computer Society, 2004.
13. V D'Silva, S. Ramesh, and A. Sowmya. Synchronous protocol automata: A framework for modelling and verification of SoC communication architectures. In 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), pages 390-395, 2004.
14. N. A. Lynch and M. R. Tuttle. Hierarchical correctness proofs for distributed algorithms. In Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, pages 137-151, 10-12 Aug. 1987.
15. S. Narayan and D. D. Gajski. Interfacing incompatible protocols using interface process generation. In Proc. of the 32nd Design Automation Conference, June 1995.
16. R. Passerone. Semantic Foundations for Heterogeneous Systems. PhD thesis, EECS Department, University of California, Berkeley, 2004.
17. R. Passerone, L. de Alfaro, T Henzinger, and A. Sangiovanni-Vincentelli. Convertibility verification and converter synthesis: Two faces of the same coin. In Proceedings of the International Conference on Computer-Aided Design, pages 132-139. IEEE Computer Society Press, 2002.
18. R. Passerone, J. A. Rowson, and A. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In Proc. of the 35th Design Automation Conference, June 1998.
19. D. Shin and D. D. Gajski. Interface synthesis from protocol specification. Technical report, CECS Technical Report 02-13, April 2002.
20. J. Smith and G. D. Micheli. Automated composition of hardware components. In Proc. of the 35th Design Automation Conference, June 1998.
21. W. Thomas. On the synthesis of strategies in infinite games. In 12th Annual Symposium on Theoretical Aspects of Computer Science, volume 900 of Lecture Notes in Computer Science, pages 1-13. Springer, 1995.
22. N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, and A. Sangiovanni-Vincentelli. Solution of parallel language equations for logic synthesis. In Proceedings of the 2001 International Conference on Computer-Aided Design (ICCAD-01), pages 103-111. IEEE Computer Society, 2001.
23. N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, and A. Sangiovanni-Vincentelli. Solution of synchronous language equations for logic synthesis. In Proceedings of the 4th Conference on Computer-Aided Technologies in Applied Mathematics, pages 132-137, 2002.