State machine models of timing and circuit design

Details State machine models of timing and circuit design State machine models of timing and circuit design

2010-03-02

arxiv.org/abs/1003.0522v1

Computer Science

Formal Languages and Automata Theory

Scientific paper

This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines with output (transducers). The method is illustrated here with specifications of gates, latches, and other simple circuits and via the construction of devices starting with a SR latch built from gates and then moving on to more complex devices. Circuit timing and transients are treated in some detail. The method is based on "classical" automata and recursive functions on strings. No formal methods, extended state machines, or process algebras are involved but a reference is made to potential applications of the Krohn-Rhodes theorem and other group/monoid based algebraic techniques.

Affiliated with

Also associated with

No associations

Rating

State machine models of timing and circuit design does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with State machine models of timing and circuit design, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and State machine models of timing and circuit design will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-663611