Sequential Logic Description

Sequential Logic Description is a formal specification method within Hardware Description Languages that describes digital circuits with memory-dependent behavior, distinguishing itself from combinational logic descriptions by explicitly modeling state transitions over time.

732

Publications

37.8K

Citations

1.2K

Authors

437

Institutions

Publications per year

2017–2026

Parents

Hardware Description Languages

Children

Asynchronous Sequential CircuitsBinary State EncodingClocked LogicCountersFinite State Machine VerificationFlip-flopsLatchesMealy MachinesMetastabilityMicroprogrammed Control

Publications

732

Synthesis and optimization of digital circuits

Choice Reviews Online · 1994 · 2.4K citations

Engineering, Computer Engineering, Electrical Engineering +17

SIS : A System for Sequential Circuit Synthesis

Ellen Sentovich · 1992 · 1.9K citations

Engineering, Computer Engineering, Computer Science +17

A method for synthesizing sequential circuits

George H. Mealy · Bell System Technical Journal · 1955 · 1K citations

Engineering, Computer Engineering, Computer Science +17

Symbolic model checking: an approach to the state explosion problem

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

Computing, Computer Engineering, Computer Science +17

Branching time and abstraction in bisimulation semantics

Rob J. van Glabbeek, W. P. Weijland · Journal of the ACM · 1996 · 737 citations · Full text

Computing, Computer Science, Formal Methods +12

1–5 of 732

Authors

1.2K

KC
Kwang‐Ting Cheng
University of California, Santa Barbara, United States
30 publications · 2.1K citations
23
h-index
SD
Srinivas Devadas
Massachusetts Institute of Technology, United States
20 publications · 1K citations
18
h-index
RK
Robert K. Brayton
University of California, Berkeley, United States
31 publications · 1.8K citations
18
h-index
IP
Irith Pomeranz
University of Iowa, United States
22 publications · 736 citations
17
h-index
SR
S.M. Reddy
University of Iowa, United States
23 publications · 901 citations
17
h-index

1–5 of 1.2K

Institutions

437

1–8 of 437

Venues

IEEE Transactions on Computers
56 publications · 2.6K citations
29
h-index
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
58 publications · 3.7K citations
29
h-index
IEEE Transactions on Electronic Computers
17 publications · 962 citations
16
h-index
ACM Transactions on Design Automation of Electronic Systems
TODAES · 9 publications · 309 citations
9
h-index
IEEE Design & Test of Computers
8 publications · 292 citations
8
h-index

1–5