Home Advanced Search

Advanced Search - Page 1

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.)
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis
  • PDF
  • English
  • Year: 1994
  • Author: William K. C. Lam, Robert K. Brayton (auth.)
Molecular Neurobiology of the Mammalian Brain
  • PDF
  • English
  • Year: 1978
  • Author: Patrick L. McGeer, Sir John C. Eccles, Edith G. McGeer (auth.)
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.)
Methane: Fuel for the Future
  • PDF
  • English
  • Year: 1982
  • Author: Patrick L. McGeer, Enoch J. Durbin (auth.), Patrick McGeer, Enoch Durbin (eds.)
Neurobiology of Acetylcholine
  • PDF
  • English
  • Year: 1987
  • Author: P. L. McGeer, E. G. McGeer, K. Mizukawa, H. Tago, J. H. Peng (auth.), Nae J. Dun, Robert L. Perlman (eds.)
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.)
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.)
search