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.)
Hardware Design Verification: Simulation and Formal Method-Based Approaches
  • CHM
  • English
  • Year: 2008
  • Author: William K. Lam
Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design
  • PDF
  • English
  • Year: 2004
  • Author: Fan Mo, Robert K. Brayton
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.)
Synthesis of Finite State Machines: Logic Optimization
  • PDF
  • English
  • Year: 1997
  • Author: Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto 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.)
search