Skip to content
This is the test environment. The production environment is at libcat.colorado.edu
This is the test environment. The production environment is at libcat.colorado.edu
This is the test environment. The production environment is at libcat.colorado.edu
This is the test environment. The production environment is at libcat.colorado.edu
University of Colorado Boulder
  • University Libraries Home
  • Law Library Home
  • Login to My Library Account
  • Help
Library Catalog
Advanced Limit to Law Library
  • A general framework for verifi...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to Zotero / EndNote
    • Export to RIS
  • Save to List
  • Permanent link
Cover Image
Preview

A general framework for verification of sequential circuits / by Bernard Plessier.

Saved in:
Bibliographic Details
Main Author: Plessier, Bernard
Format: Thesis Book
Language:English
Published: 1993.
Subjects:
Logic circuits > Testing.
Computers > Circuits.
Sequential machine theory.
Theses > CU Boulder > Electrical Engineering.
  • Holdings
  • Description
  • Staff View

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number: T 1993 .P715
T 1993 .P715 Available Place a Hold

Similar Items

  • ROM-based sequential circuits : an alternative approach to conventional logic design / J. Lee Schoeneman, Security Systems Integration Division 1763, Sandia Laboratories ; prepared by Sandia Laboratories for the United States Department of Energy.
    by: Schoeneman, J. Lee
    Published: (1978)
  • Digital electronics. Volume 2 : sequential and arithmetic logic circuits / Tertulien Ndjountche.
    by: Ndjountche, Tertulien
    Published: (2016)
  • Asynchronous sequential machine design and analysis a comprehensive development of the design and analysis of clock-independent state machines and systems / Richard F. Tinder.
    by: Tinder, Richard F. (Richard Franchere), 1930-2011
    Published: (2009)
  • State - logic relations in an iterative structure for autonomous sequential machine / William F. King, III.
    by: King, William F.
    Published: (1965)
  • Finite state models for the optimization and verification of digital systems / by June-Kyung Rho.
    by: Rho, June-Kyung
    Published: (1993)

Search Options

  • Advanced
  • Browse the Catalog
  • Course Reserves
  • Search History

Find More

  • Ask a Librarian
  • OneSearch (Articles & More)
  • Interlibrary Loan
  • Search Tips
  • Suggest a Purchase

Need Help?

  • University Libraries Home
  • Law Library Home
  • Acceptable Use of Electronic Resources
  • Accessibility Services
  • © Regents of the University of Colorado
  • Legal and Trademarks
  • Privacy
Loading...