Author:
Tahar S.,Zobair M.H.,Song X.
Publisher
Institution of Engineering and Technology (IET)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science
Reference23 articles.
1. Formal verification in hardware design
2. Graph-Based Algorithms for Boolean Function Manipulation
3. PMC-Sierra, Inc. Receive, APS, synchronization status and BERM telecom system block. Engineering Document. Issue 4, 29 January 1998
4. Bell Communication Research (BellCORE). SONET transport systems: common generic criteria. GR-253-CORE. Issue 2, 1995