Keyword

sequential circuits

Description: Digital logic circuits whose outputs depend on current inputs and stored information from earlier inputs.

Primary topic: VLSI and Analog Circuit Testing (23%)

Wikidata ID: wiki/Q173245

OpenAlex ID: keywords/sequential-circuits

Digital integrated circuits : a design perspective

1996 · Jan M. Rabaey, Anantha P. Chandrakasan, et al. · CERN Document Server (European Organization for Nuclear Research) · 2,152

Conservative logic

1982 · Edward Fredkin, Tommaso Toffoli · International Journal of Theoretical Physics · 1,894

Binary Decision Diagrams

1978 · Akers · IEEE Transactions on Computers · 1,828

Reversible Computing

1980 · Tommaso Toffoli · Lecture notes in computer science · 1,521

Conservative logic

2001 · Edward Fredkin, Tommaso Toffoli · 1,289

A method for synthesizing sequential circuits

1955 · George H. Mealy · Bell System Technical Journal · 1,021

Bounded Model Checking

2003 · Armin Biere, Alessandro Cimatti, et al. · Advances in computers · 1,007

Symbolic model checking: an approach to the state explosion problem

1992 · Kenneth L. McMillan · Defense Technical Information Center (DTIC) · 976

Boolean formalization of genetic control circuits

1973 · René Thomas · Journal of Theoretical Biology · 951

Derivatives of Regular Expressions

1964 · Janusz A. Brzozowski · Journal of the ACM · 924

PDF

A logic design structure for LSI testability

1977 · E. B. Eichelberger, T.W. Williams · 848

Flexible high-performance carbon nanotube integrated circuits

2011 · Dong-ming Sun, Marina Y. Timmermans, et al. · Nature Nanotechnology · 755

Magnetic Shape Memory Polymers with Integrated Multifunctional Shape Manipulation

2019 · Qiji Ze, Xiao Kuang, et al. · Advanced Materials · 738

PDF

Low-power digital systems based on adiabatic-switching principles

1994 · W.C. Athas, L.J. Svensson, et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 583

Asynchronous Sequential Switching Circuits

1973 · S. H. Unger, Stephen Y. H. Su · IEEE Transactions on Systems Man and Cybernetics · 582

HITEC: a test generation package for sequential circuits

2002 · T. Niermann, J.H. Patel · 522

Invertibility of linear time-invariant dynamical systems

1969 · M. Sain, J. Massey · IEEE Transactions on Automatic Control · 511

Digital Design: Principles and Practices

1989 · John F. Wakerly · International Linear Collider · 506

Amplifying Genetic Logic Gates

2013 · Jerome Bonnet, Peter Yin, et al. · Science · 505

Digital Design and Computer Architecture

2007 · Elsevier eBooks · 462

Molecules with a sense of logic: a progress report

2014 · Joakim Andréasson, Uwe Pischel · Chemical Society Reviews · 431

PDF

Estimation of average switching activity in combinational and sequential circuits

1992 · Abhijit Ghosh, Srinivas Devadas, et al. · 429

Fault detecting experiments for sequential circuits

1964 · F. C. Hennine · Annual Symposium on Switching Circuit Theory and Logical Design (SWCT) · 427

Controllability/observability analysis of digital circuits

1979 · L. Goldstein · IEEE Transactions on Circuits and Systems · 422

Logic Testing and Design for Testability

1985 · Hideo Fujiwara · The MIT Press eBooks · 358

Works count: 6,513

Citation count: 72,000