๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Analysis and investigation of certain square-law detector circuits

โœ Scribed by B. G. Kaduk; A. I. Gladskii

Book ID
112582598
Publisher
Springer US
Year
1963
Tongue
English
Weight
321 KB
Volume
6
Category
Article
ISSN
0543-1972

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Reachability analysis of large circuits
Reachability analysis of large circuits using disjunctive partitioning and partial iterative squaring
โœ Gianpiero Cabodi; Paolo Camurati; Stefano Quer ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 272 KB

Reachability analysis is an orthogonal, state-of-the-art technique for the veriยฎcation and validation of ยฎnite state machines (FSMs). Due to the state space explosion problem, it is currently limited to medium-small circuits, and extending its applicability is still a key issue. Among the factors th