الحقول المخفية
الكتب الكتب
" EM Sentovich, KJ Singh, L. Lavagno, C. Moon. R. Murgai, A. Saldanha, H. Savoj, PR Stephan. RK Brayton, and AL Sangiovanni-Vincentelli. SIS: A System for Sequential Circuit Synthesis. "
Formal Methods in Computer-Aided Design: First International Conference ... - الصفحة 434
بواسطة Mandayam Srivas, Albert Camilleri - 1996 - عدد الصفحات: 470
معاينة محدودة - لمحة عن هذا الكتاب

Algorithms for Synthesis and Testing of Asynchronous Circuits

Luciano Lavagno, Alberto Sangiovanni-Vincentelli - 1993 - عدد الصفحات: 398
...Chapter?. In C. Mead and L. Conway, editors, Introduction to VLSI Systems. Addison Wesley, 1981. [108] EM Sentovich, KJ Singh, L. Lavagno, C. Moon, R. Murgai,...A. Saldanha, H. Savoj, PR Stephan, RK Brayton, and A. SangiovanniVincentelli. SIS: A system for sequential circuit synthesis. Technical Report UCB/ERL...
معاينة محدودة - لمحة عن هذا الكتاب

Logic Synthesis for Field-Programmable Gate Arrays

Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli - 1995 - عدد الصفحات: 480
...Technical Report, Computer Research Lab., University of California, Santa Cruz, February 1992. [94] EM Sentovich, KJ Singh, L. Lavagno, C. Moon, R. Murgai,...A. Saldanha, H. Savoj, PR Stephan, RK Brayton, and A. Sangiovanni-Vincentelli. SIS: A System for Sequential Circuit Synthesis. Memorandum No. UCB/ERL...
معاينة محدودة - لمحة عن هذا الكتاب

Tools and Algorithms for the Construction and Analysis of Systems ..., المجلد 3

Ed Brinksma - 1997 - عدد الصفحات: 452
...Analysis of cyclic combinational circuits. IEEE Trans. Computer-Aided Design, 13(7):950-956, 1994. 7. EM Sentovich, KJ Singh, L. Lavagno, C. Moon, R. Murgai,...for sequential circuit synthesis. Technical report, University of California at Berkeley, May 1992. 8. T. Shiple and G. Berry. Constructive analysis of...
معاينة محدودة - لمحة عن هذا الكتاب

Satisfiability Problem: Theory and Applications : DIMACS Workshop, March 11 ...

Dingzhu Du, Jun Gu, Panos M. Pardalos - 1997 - عدد الصفحات: 778
...Intelligence, pages 337-343, Seattle, July 1994. [476] B. Selman, Private Communication, 1995. [477] EM Sentovich, KJ Singh, L. Lavagno, C. Moon, R. Murgai,...A. Saldanha, H. Savoj, PR Stephan, RK Brayton. and A. Sangiovanni-Vincentelli. SIS : A System for Sequential Circuit Synthesis. Technical Report UCB/ERL...
معاينة محدودة - لمحة عن هذا الكتاب

Hardware-Software Co-Design of Embedded Systems: The Polis Approach

F. Balarin - 1997 - عدد الصفحات: 322
...and R. Reed, telecommunications systems engineering using SDL. North-Holland - Elsevier, 1989. [62] EM Sentovich, KJ Singh, L. Lavagno, C. Moon, R. Murgai,...A. Saldanha, H. Savoj, PR Stephan, RK Brayton, and A. SangiovanniVincentelli. SIS: A system for sequential circuit synthesis. Technical Report UCB/ERL...
معاينة محدودة - لمحة عن هذا الكتاب

Computer Aided Verification: 10th International Conference, CAV ..., المجلد 10

Alan J. Hu - 1998 - عدد الصفحات: 568
...IDTC'96, Paris, France, 1996. [SSL+92] E. Sentovich, KJ Singh, L. Lavagno, C. Moon, R. Murgai, A. Aldanha, H. Savoj, PR Stephan, RK Brayton, and AL Sangiovanni-Vincentelli....for sequential circuit synthesis. Technical report memorandum nr. ucb/erl m92/41, University of California at Berkeley, 1992. [STB96] E. Sentovich, H....
معاينة محدودة - لمحة عن هذا الكتاب

Synchronous Equivalence: Formal Methods for Embedded Systems

Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli - 2001 - عدد الصفحات: 160
...simulation of sequential circuits. Informatique Theorique et Applications, 28(3-4): 1 5986, 1994. [38] EM Sentovich, KJ Singh, L. Lavagno, C. Moon, R. Murgai,...A. Saldanha, H. Savoj, PR Stephan, RK Brayton, and A. SangiovanniVincentelli. SIS: A system for sequential circuit synthesis. Technical Report UCB/ERL...
معاينة محدودة - لمحة عن هذا الكتاب

Logic Synthesis and Verification

Soha Hassoun, Tsutomu Sasao - 2001 - عدد الصفحات: 474
...for production logic synthesis." lBM J, Research & Development. 28i5l: 326-328. September l984. [9] EM Sentovich, KJ Singh. L. Lavagno. C. Moon. R. Murgai. A. Saldanha. H. Savoj, PR Stephan. RK Bray ton. and A. Sangiovanni-Vincentelli. "SlS: a system for sequential circuit synthesis." Memorandum...
معاينة محدودة - لمحة عن هذا الكتاب

Logic Synthesis for Asynchronous Controllers and Interfaces: With 146 Figures

Jordi Cortadella - 2002 - عدد الصفحات: 292
...Y.Watanabe, LMGuerra, R. Brayton: IEEE Transactions on ComputerAided Design 15(7), 732-744 (1996) 137. EM Sentovich, KJ Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, PR Stephan, RK Brayton, A. Sangiovanni-Vincentelli: (1992), "SIS: A system for sequential circuit synthesis", Tech. rep., UC...
معاينة محدودة - لمحة عن هذا الكتاب

The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design

Andreas Kuehlmann - 2003 - عدد الصفحات: 744
...Sangiovanni-Vincentelli. Multiple-valued minimization for PLA optimization. IEEE Transaction on CAD, 1988. [25] E. M. Sentovich, KJ Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Sa¿oj, PR Stephan, RK Brayton, and AL Sangiovanni-Vincentelli. SIS: A System for Sequential Circuit...
معاينة محدودة - لمحة عن هذا الكتاب




  1. مكتبتي
  2. مساعدة
  3. بحث متقدم في الكتب