- How to Solve INPUT OUTPUT - By Sonali Dixit - EdKraft.in
- How to Use Semilog Graph
- AR7 Coordinate Pairs and Graphing
- Vertex Graceful Labeling-Some Path Related Graphs
- Best F2L Algorithms
- f2l
- V1-Intro_2
- Gate Question Paper
- Chapter 9 - Graph
- Eclipse Zest - Tutorial
- MIT6_046JS15_pset7sols
- term iii science rewrite
- J Electre v1.0 User Guide
- MB5014 - Tutorial 3
- M23 Graphing Motion With Numbers - BkRunGraph1
- bitstream_1668103
- Sensor Data Wearable Dvice
- CodeWarrior ASM Tutorial
- 7-6-239-245
- Special Type of Fixed Point Pairs using MOD Rectangular Matrix Operators
- Graph Theory(2)
- Art AlgoritmoRedEnergizada English
- KE25 Line Item Display - Plan Data CO-PA
- Note 1050832 - ME23N in Compliance Calibrator (RAR) Default rules.pdf
- Deep Learning (2016.09.23-00.17.14Z)
- Flowcharts Algo
- Lab 4 Best First Heuristic Search
- gmcourseoutlineunit122017
- Spanning Tree Problem with Neutrosophic Edge Weights
- archviz
- Instruction for Online Application
- README
- pp
- README

**Virendra Singh Indian Institute of Science Bangalore
**

IEP on Digital System Synthesis, IIT Kanpur

**Incompletely Specified Machine
**

The specified behaviour of a machine with partially specified transitions can be described by another machine whose state transitions are completely specified The transformation is accomplished by replacing all the dashes in the next state entries by T and adding a terminal state T whose output are unspecified

PS X=0 A B C B, 1 --, 0 A, 1 NS, z X=1 --, -C, 0 B, 0

Sequential@iitk

PS X=0

NS, z X=1

A

B C T

B, 1

T, 0 A, 1 T, --

T, -C, 0 B, 0 T, -2

Dec 14,2007

2007 Sequential@iitk 3 .t. respectively.Compatible States State Si of M1 is said to cover. for every state Sj in M2. there is a corresponding state Si in M1 s. or contain. results in identical output sequences whenever the outputs of M2 are specified Machine M1 is said to cover machine M2 if and only if. and its application to both M1 and M2 when they are initially in Si and Sj. state Sj of M2 if and only if every input sequence applicable to Sj is also applicable to Si. Si covers Sj Dec 14.

Compatible States Two states Si and Sj of machine M are compatible. the same output sequence will be produced whenever both outputs are specified and regardless of whether Si or Sj is the initial state Si and Sj are compatible. are the same or also compatible. ….. Sj. identical when specified) and their Ii-successor. A set of states (Si.2007 Sequential@iitk 4 . if and only if.) is called compatible if all its members are compatible Dec 14. for every Ii for which both are specified. if and only if.e. for every input sequence applicable to to both Si and Sj. their outputs are not conflicting (i. Sk.

Compatible States A compatible Ci is said to be larger than. every state in Cj is also contained in Ci A compatible is maximal if it is not covered by any other compatible Dec 14.2007 Sequential@iitk 5 . if and only if. another compatible Cj. or to cover.

β D. 0 NS. z X=1 α. z X = 0 X= 1 C. 1 E. 0 X= 0 β. 1 A C NS. 1 A. 1 C. 0 E. 0 Dec 14. 1 D E PS AE . 0 α.Compatible States PS PS A B C D NS.α BCD . -E.2007 Sequential@iitk . 1 β. 1 B. 1 A. 1 A. 0 E. 0 D. -B. 1 A. 1 6 E D. z X = 0 X=1 C. 1 E. 0 D.

0 B. 0 B’. 0 B. 1 B’’ C B+. 0 X=1 C. 0 B’. 1 A. z X=0 A.Compatible States A set of states is compatible if and only if every pair of the states in that set is compatible PS A B NS.2007 Sequential@iitk 7 . -- C B. z X=0 A. 0 B’’. 0 A. 0 X=1 C. 1 Dec 14. -- PS A B’ NS. 0 B+.

1 X=1 β. 0 Dec 14.β B+ = B” B+ = B’ X= 0 (AB’) – α (B”C) – β α. 0 α. 0 α. 0 α. z X= 0 (AB’) – α (B’’C) . 1 α.2007 Sequential@iitk 8 . 0 β. 0 X=1 β. z PS NS.Compatible States PS NS.

0 Dec 14. 1 A. 0 B. 0 B.2007 C. 0 ----C. which will form the basis of state reduction leading to minimum machine A B C D E F --E. 0 --- E. 1 ------D. 0 F. 1 C.Merger Graph PS I1 I2 NS. z I3 I4 •Transforming into fully specified machine may not be optimal one • First generate the entire set of compatibles •Select an appropriate subset. 1 --F. 1 ----B. 1 --F. 1 Sequential@iitk 9 .

then (Sp Sq) said to be implied by (SiSj) • (SpSq) are referred as implied pair Dec 14. respectively.2007 Sequential@iitk 10 .Merger Graph • A set of states is compatible if and only if every pair of states in that set is compatible • It is sufficient to consider pair of states and use them to generate entire set • Compatible pair of states is referred as compatible pairs • Let the Ik-successors of Si and Sj be Sp and Sq.

If for a pair of states (Si Sj) the corresponding outputs under all inputs are not conflicting. and then implied pairs are entered in the space Dec 14. For each pair of states (Si Sj) in M whose next state and output entries are not conflicting. an interrupted arc is drawn between Si and Sj. an undirected arc is drawn between vertices Si and Sj 3.Merger Graph Merger graph is undirected graph 1. each of which corresponds to a state of M 2. but successors are not the same.2007 Sequential@iitk 11 . It consists of n-vertices.

z I2 C.Merger Graph PS I1 A B --E. 1 A. 1 --F. 1 --F (AB) (CD) (BE) (CF) (CF) A B (EF) C C D E F F. 1 E D Dec 14. 0 ----C. 0 F. 0 NS. 0 ----C. 1 --I4 B.2007 Sequential@iitk 12 . 1 --I3 E. 0 --- --B. 0 D. 1 B.

(BC). (AC). (AD). (BC). (AC).2007 Sequential@iitk 13 . (CF). (CD). (BE). (BE). (BC) are compatible => (ABC) compatible Find minimal set of compatible {(ABCD). (EF) (AB). (DE)} Dec 14. (BD).Merger Graph Merger graph is undirected graph Nine compatible pairs (AB).

0 δ. 0 I3 δ. for every compatible contained in the set. 1 δ. 0 I4 α. 1 δ. 0 Sequential@iitk . 0 14 δ. A closed set of compatibles which contains all the sates of M is called closed covering A set {(AD). (BE). 0 β.Merger Graph A set of compatible (for machine M) is said to be closed if.β (EF) . all its implied also contained in the set. 1 --Β. z I1 (AB) .2007 I2 β.α (CD) . 1 α. (CD)} is a closed covering PS NS.δ Dec 14. 1 α.

Compatible Graph The compatible graph is a directed graph whose vertices corresponding to all compatible pairs.2007 Sequential@iitk 15 . and arc leads from vertex (Si Sj) to vertex (Sp Sq) if and only if (Si Sj) implies (Sp Sq) It is a tool which aids in the search for a minimal closed covering Compatible pairs are obtained from merger graph Dec 14.

1 B. 0 D (AB) (DE) C Merger Graph Dec 14. 1 --- --- A. 0 D. -- C.B. 0 --- E. 1 B.Compatibility Graph PS I1 A B --C. 0 --B. z I2 --A. 0 I4 ----E (AE) (BC) (BC) (AD) A (CF) (BE) (BC) B C D E C. 0 NS. 1 I3 E.2007 Sequential@iitk 16 . -.

2007 Sequential@iitk BE (AD) BC CD 17 .Compatibility Graph A (CF) (BE) E (AE) (BC) B AD AC (BC) (BC) D (AB) (DE) C DE Merger Graph Dec 14.

2007 Sequential@iitk 18 .e. i.Minimization using Network Model Behaviour of sequential circuit can be described by traces.. sequence of inputs and outputs Various approaches to optimize Ignore registers and optimize the combinational logic Retiming – move position of registers only Dec 14.

2007 Sequential@iitk 19 . so that the critical paths they embrace are as short as possible Moving registers may increase or decrease the number of regsisters Dec 14.Retiming Minimize cycle time or the area of synchronous circuits by changing the position of the registers Cycle time is bounded from below by the critical path delay in the combinational circuit Retiming aims at placing the registers in the appropriate position.

2007 Sequential@iitk 20 .Retiming + Host δ δ δ + + Dec 14.

Dec 14.2007 Sequential@iitk 21 .

Dec 14.2007 Sequential@iitk 22 .

Example Machine M2 PS A E. 0 P0 = (ABCDEFG) P1 = (ABCDFG) (E) P2 = (AF) (BCDG) (E) P3 = (AF) (BD) (CG) (E) P4 = (A) (F) (BD) (CG) (E) P5 = (A) (F) (BD) (CG) (E) B C D E F G C. 0 B. 0 Dec 14. 0 G. 0 D. 0 G. 0 A. 1 E. 0 NS. z X=0 X=1 C. 0 B. 0 F.2007 Sequential@iitk 23 . 0 A. 0 D. 0 G.

.

.

.

9 !& #& !& × × . × 0. $06:039.

.

.

/3 #& !& .6:.:5.:.9-0$9.:.96 .::0647.425....5165397..:0647....908 :./3..

.

#& !& .

.

$06:039.9 . 0.

425.908 #& !& .9-0$9.

× #& !& × .

× .

.

.

× .

.

.

$06:039. × 0.9 .

07077.5 #& .

.

.

.

.

.

.

.

.

0. !& .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

9:./67.5.. :/:.05 $06:039.6 45444.4..633 :7014.653.033694 .9 ../3: &30.054. 56.60647.::6:. 5..15.. 910../.779679.5:69455..59. '9.365 9:.

::0647....51: .:0647.4..5..2.6:...516539 7.9: .. 647../37..07077..:.:0647..5 :.659.6065:197./3 .:5.:.::9991./3 7.::05...96:.9:.96:..96:.../3.

51&8 9:70.9 0.99991.3.:47317.6/4731/ && &7&8 .5 &7&8 :.9 .:00::69:6&.1.51&/&7. $06:039.

:65.7 .065::.7:5190.07077.5 999.19.

:.06530.51& 69.0699:76515 6.0 0..:.0:.5/.3357.9..915.956.0:&. $06:039..1...: && .7.1 .7.55. :00::69:..90: 19.96:.956.997.:. .5.6.6 69.:.55190.516.9 .96:.7.9 5.5&.956.5/.9:.0600699:7651: .59.07.90:19.51&.:519..: && 5 6:5.5.9:..5/.:7.4.06530..547317.51.

5 #& .07077.

.

.

.

.

.

.

.

.

!& .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

9 . 0. $06:039.

5 999.90647.07077../37./3 51454.9: . $06:039.7 !50647./3 < > 0.9 .3:..60647.19...7:5190./3 0647.

036:10695 #& ./3:0065...515.5 :../3 694. .< >:./3065.05 ::.33.:.60647.. :..33.:..60647. 036:1:.:6 :0.5:.515.3:6065.:4731.07077.1..6/ 036:1 6990647.331036:10695 :.

.

.

× .

.

!& × . 0.

.

.

.

.

.

.

.

.

.

.

× $06:039.9 .

9 .9:.:.19.7:./37.:.903.6630....454.96/.425.519644999.190.51 .6../39.0:0699:76515.1:5.9:. $06:039.330647..9-07.3 036:10695 647.7 0.1:9649.9069. && .51 653 && 473: &7&8 ./37.5 '0647.69. &7&8 .76: 9.

425.9-97.5 #& .

.

.

!& .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

5 . 07077.

.

0. $06:039.9 .

9-97. $06:039.5 07077.9 .5 0.425.

943:83 09474/0 .3090.696:85.6569:..32.: .5/1:09/1/ .4 5699:.9:.7.667.0: :850657.9:653 0.5167. $06:039.064/5.516.4.45 4676:.:.7796.3 360 %.65.0:.9.0.9 .96:..

9:5.76:.064/5.3090.4:/6511964/36/..#0923 54003.:69109.13. .:76::/3 659:.65.3 7.9: 0. 54/969::.656..509.9..9:.. $06:039.:/0..469.4:.0.73.9: 03..9:. 4/9..45.9:4.779679.76:.55.6:509656: 090. %..37.:..05.5.0..0.09.:.9 .::69.09.9.65:6.

#0923 489 .

.

.

9 . 0. $06:039.

9 .0. $06:039.

0.9 . $06:039.

. .05 #& !& $06:039.473 .9 # # # # # # 0.

- How to Solve INPUT OUTPUT - By Sonali Dixit - EdKraft.inUploaded bycharu tyagi
- How to Use Semilog GraphUploaded byJenny Rose Sales
- AR7 Coordinate Pairs and GraphingUploaded byKevin Roberts
- Vertex Graceful Labeling-Some Path Related GraphsUploaded byRyanElias
- Best F2L AlgorithmsUploaded byGleiciano Santos
- f2lUploaded byVivian Villagran
- V1-Intro_2Uploaded byha_saoxet
- Gate Question PaperUploaded bySabir Ahmed
- Chapter 9 - GraphUploaded byNguyễn Thanh Linh
- Eclipse Zest - TutorialUploaded byBengasi Isagneg
- MIT6_046JS15_pset7solsUploaded byram
- term iii science rewriteUploaded byapi-242285135
- J Electre v1.0 User GuideUploaded byEdy Budiman
- MB5014 - Tutorial 3Uploaded bycrazydom
- M23 Graphing Motion With Numbers - BkRunGraph1Uploaded byNora
- bitstream_1668103Uploaded byyekych
- Sensor Data Wearable DviceUploaded byAkash Gupta
- CodeWarrior ASM TutorialUploaded byJose Smith
- 7-6-239-245Uploaded byAddiniAinulHaq
- Special Type of Fixed Point Pairs using MOD Rectangular Matrix OperatorsUploaded byscience2010
- Graph Theory(2)Uploaded bysouravrockz
- Art AlgoritmoRedEnergizada EnglishUploaded byHelena Gomez
- KE25 Line Item Display - Plan Data CO-PAUploaded byReddy BD
- Note 1050832 - ME23N in Compliance Calibrator (RAR) Default rules.pdfUploaded byAdam Ivanofff
- Deep Learning (2016.09.23-00.17.14Z)Uploaded byAndres Tuells Jansson
- Flowcharts AlgoUploaded bysatydevsinghnegi
- Lab 4 Best First Heuristic SearchUploaded bychakravarthyashok
- gmcourseoutlineunit122017Uploaded byapi-278036025
- Spanning Tree Problem with Neutrosophic Edge WeightsUploaded byscience2010
- archvizUploaded byMiguel Angel Loyola