Constructive analysis of cyclic circuits

Proceedings of the 1996 European Conference on Design and Test, EDTC 1996

Volumn , Issue , 1996, Pages 328-333

  Shiple, Thomas R ^a   Berry, Gérard ^b   Touati, Hervé ^c  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b PSL RESEARCH UNIVERSITY   (France)

^c HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER PROGRAMMING LANGUAGES; ELECTRIC NETWORK ANALYSIS; HIGH LEVEL LANGUAGES; INTEGRATED CIRCUIT MANUFACTURE; TIMING CIRCUITS; EQUIVALENT CIRCUITS;

ASYNCHRONOUS DESIGN; CIRCUIT SIZE; COMBINATIONAL LOOPS; CYCLIC CIRCUITS; HARDWARE AND SOFTWARE; SYMBOLIC ALGORITHMS; SYNCHRONOUS CIRCUITS; SYNCHRONOUS PROGRAMMING;

EQUIVALENT CIRCUITS; ELECTRIC NETWORK ANALYSIS;

EID: 84949298393     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDTC.1996.494321     Document Type: Conference Paper

References (12)

1. G. Berry and G. Gonthier. The synchronous programming language Esterel: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
2. G. Berry and T. R. Shiple. Constructive boolean circuits. To Appear.
3. F. Bourdoncle. Efficient chaotic iteration strategies with widenings. In Proceedings of the International Conference on Formal Methods in Programming and their Applications, volume 735 of Lecture Notes in Computer Science, pages 128-141. Springer-Verlag, 1993.
4. J. A. Brzozowski and C.-J. H. Seger. Asynchronous Circuits. Springer-Verlag, 1995.
5. J. R. Burch, D. Dill, E. Wolf, and G. D. Micheli. Modeling hierarchical combinational circuits. In Proc. Int'l Conf. on Computer-Aided Design, pages 612-617, Nov. 1993.
6. O. Coudert, C. Berthet, and J. C. Madre. Verification of synchronous sequential machines based on symbolic execution. In J. Sifakis, editor, Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, pages 365-373. Springer-Verlag, June 1989.
7. M. J. C. Gordon. The Denotational Description of Programming Languages. Springer-Verlag, New York, 1979.
8. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishing, 1993.
9. N. Halbwachs and F. Maraninchi. On the symbolic analysis of combinational loops in circuits and synchronous programs. In Euromicro'95, September 1995. Como, Italy.
10. R. Hojati, R. K. Brayton, and R. P. Kurshan. BDD-based debugging of designs using language containment and fair CTL. In C. Courcoubetis, editor, Proceedings of the Conference on Computer-Aided Verification, volume 697 of Lecture Notes in Computer Science, pages 41-58. Springer-Verlag, June 1993.
11. S. Malik. Analysis of cyclic combinational circuits. IEEE Trans. Computer-Aided Design, 13(7):950-956, July 1994.
12. G. D. Plotkin. LCF as a programming language. Theoretical Computer Science, 5(3):223-256, 1977.