Tabla de Contenidos:
  • Trusting logic
  • A sufficiently expressive logic
  • The structure of logically determined systems
  • 2NCL combinational expression
  • Cycle granularity
  • Memory elements
  • State machines
  • Busses and networks
  • Multi-value numeric design
  • The shadow model of pipeline behavior
  • Pipeline buffering
  • Ring behavior
  • Interacting pipeline structures
  • Complex pipeline structures.