Home Advanced Search

Advanced Search - Page 1

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis
  • PDF
  • English
  • Year: 1994
  • Author: William K. C. Lam, Robert K. Brayton (auth.)
Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications
  • PDF
  • English
  • Year: 1991
  • Author: Patrick C. McGeer, Robert K. Brayton (auth.)
Logic Synthesis and Optimization
  • PDF
  • English
  • Year: 1993
  • Author: Robert K. Brayton, Patrick C. McGeer (auth.), Tsutomu Sasao (eds.)
Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Robert K. Brayton (auth.), Costas Courcoubetis (eds.)
Logic Synthesis for Field-Programmable Gate Arrays
  • PDF
  • English
  • Year: 1995
  • Author: Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
  • PDF
  • English
  • Year: 2001
  • Author: Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli (auth.)
Transportation and Traffic Theory 2009: Golden Jubilee: Papers selected for presentation at ISTTT18, a peer reviewed series since 1959
  • PDF
  • English
  • Year: 2009
  • Author: Jan-Dirk Schmöcker, Michael G.H. Bell (auth.), William H. K. Lam, S. C. Wong, Hong K. Lo (eds.)
Logic Minimization Algorithms for VLSI Synthesis
  • PDF
  • English
  • Year: 1984
  • Author: Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli (auth.)
The Unknown Component Problem: Theory and Applications
  • PDF
  • English
  • Year: 2012
  • Author: Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)
Modelling intelligent multi-modal transit systems
  • PDF
  • English
  • Year: 2017
  • Author: Lam, William H. K.; Nuzzolo, Agostino
search