NetNews Usenet Archive 1992 #16/NN_1992_16.iso/spool/comp/lsi/cad/827

Internet Message Format | 1992-07-29 | 77.0 KB

Path: sparky!uunet!mcsun!uknet!icdoc!sot-ecs!sc
From: [e-mail] (Cheng Shi)
Newsgroups: comp.lsi.cad
Subject: Summary (Re: Synthesis and Testability)  (LONG)
Keywords: synthesis, test
Message-ID: <[e-mail]>
Date: 27 Jul 92 08:16:51 GMT
Sender: [e-mail]
Lines: 2745
Nntp-Posting-Host: carew


A week ago, I posted request for references of published literatures,
undergoing research projects, product development on Synthesis Tool and
Design Testability aspect.

Thank you very much for all the responses, and hope this is a useful collection
for everyone.

Cheng

=======================================================================
From: [e-mail] (Sandeep Suresh Aranake)
Message-Id: <[e-mail]>
Subject: Book on synthesis for testability

Optimal VLSI Architectural Synthesis
Area, Performance and Testability

Catherine H. Gebotys
Mohamed I. Elmasry

Kluwer Academic Publisher, 1992

=======================================================================
From: "Ping Yeung ([e-mail])" <[e-mail]>

Ditital Systems Testing and Testable Design
Abramouici, Breuer, Friedman
Computer Science Press

Sequential Logic Testing and Verification
Ghosh, Devadas, Newton
Kluwer Academic

Besides the papers in DAC and ICCAD, these two books are good for background reading.

=======================================================================
Sender: [e-mail]
Organization: CAD Language Systems Inc.

The following is a partial list of papers on High-Level Synthesis

Synthesis

1) The High-Level Synthesis of Digital Systems
    M. C. McFarland, A. C. Parker, and Raul Camposano
    Proceedings of the IEEE, Vol. 78, No. 2, February 1990.

2) What is Logic Synthesis
   David Smith
   VLSI Systems Design, October 1988

3) Synthesis Techniques for Digital Systems
   Raul Camposano
   22nd DAC, 1985

4) A model of design Representation
   Robert A. Walker and Donald E. Thomas
   22nd DAC, 1985

5) From Behavior to Structure: High-Level Synthesis
   R. Camposano
   IEEE Design and Test, October 1990.

6) High-Level Synthesis of Digital Systems
   Giovanni De Micheli
   IEEE Design and Test, October 1990.

7) Tutorial on High-Level Synthesis
   M. C. McFarland, A. C. Parker, and Raul Camposano
   25th ACM/IEEE Design Automation Conference, 1988

8) The VLSI Design Automation Assistant: From Algorithms
                                         to Silican
   T. J. Kowalski, D. J. Gieger, W. H. Wolf, and W. Fichtner
   IEEE Design and Test, August 1985

9) The Automatic Synthesis of Digital Systems
   Donald E. Thomas
   IEEE 1981

10) Synthesizing Circuits from Behavioral Level Specifications
    Wolfgang Rosenstiel and Raul Camposano
    IFIP, 1985

Synthesis from VHDL

1) VHDL as Input for High-Level Synthesis
   R. Camposano, R. F. Saunders, and R. M. Tabet
   IEEE Design and Test, March 1991

2) Synthesis from VHDL
   J. S. Lis and D. D. Gajski
   Proceedings of the IEEE, 1988.

3) Representation for the Synthesis of Behavioral VHDL Models
    R. Camposano and r. M. Tabet
    ??

Books on Synthesis

1) High-Level VLSI Synthesis
   Raul Camposano and Wayne Wolf
   Kulwer Academic Publishers, 1991

2) Algorithmic and Register-Transfer Level Synthesis: The System
   Architect's Workbench
   D. E. Thomas, E. D. Lagnese, R. A. Wlaker, et. al.
   Kulwer Academic Publishers, 1990

3) A Survey of High-Level Synthesis Systems
   Robert Walker and Raul Camposano
   Kulwer Academic Publishers, 1991

==========================================================================
From: [e-mail]

Here is my bibtex file referring to the topics you are interested in.

Luciano Lavagno            [e-mail]            [phone]
Dept. of EECS, 207-69 Cory Hall, Univ. of California, Berkeley, CA 94720, USA

@string{itc = "Proceedings of the International Testing Conference"}
@string{mcnc = "Proceedings of the International Workshop on Logic Synthesis"}
@string{ftcs = "Proceedings of the International Conference on Fault Tolerant
Computing Systems"}
@string{iscas = "Proceedings of the International Symposium on Circuits
and Systems"}
@string{ieee = "IEEE"}
@string{iccad = "Proceedings of the International Conference on
Computer-Aided Design"}
@string{compcon = "Proceedings of the IEEE COMPCON"}
@string{iccd = "Proceedings of the International Conference on Computer
Design"}
@string{cicc = "Proceedings of the Custom Integrated Circuits Conference"}
@string{transcad = "IEEE Transactions on Computer-Aided Design"}
@string{transcomp = "IEEE Transactions on Computers"}
@string{dac = "Proceedings of the Design Automation Conference"}
@string{acm = "ACM"}
@string{hpcrc = "Hewlett-Packard Computer Research Center"}
@string{erl = "U.C. Berkeley Electronics Research Laboratory"}
@string{ucb = "U.C. Berkeley"}
@string{cmu = "Carnegie Mellon University"}
@string{advvlsi = "Advanced Research in VLSI Conference"}
@string{tau = "ACM Intl. Workshop on Timing Issues in the Specification and
Synthesis of Digital Systems"}

@article{gimpel,
   author = "J. Gimpel",
   title = {A reduction technique for prime implicant tables},
   journal = iretrans,
   year = 1965,
   month = aug
}

@inproceedings{binate_bdd,
    author = "B. Lin and F. Somenzi",
    title = "Minimization of Symbolic Relations",
    booktitle = iccad,
    year = 1990,
    month = nov,
}

@article{quine_mccluskey,
   author = "E. McCluskey",
   title = {Minimization of {B}oolean functions},
   journal =  "Bell Laboratories Technical Journal",
   year = 1956,
   month = nov
}

@book{espresso,
    author = "R. K. Brayton and G. D. Hachtel and C. T. McMullen and A.
        Sangiovanni-Vincentelli",
    title = "Logic Minimization Algorithms for {VLSI} Synthesis",
    publisher = "Kluwer Academic Publishers",
    year = 1984
}

@inproceedings{kurt_vlsi_90,
        author = "S. Devadas and K. Keutzer",
        title = "Necessary and {S}ufficient {C}onditions for {R}obust
            {D}elay-{F}ault {T}estability of {L}ogic {C}ircuits",
        booktitle = advvlsi,
        pages = "221-238",
        month = apr,
        year = 1990
}

@inproceedings{kurt_dac_90,
        author = "S. Devadas and K. Keutzer",
        title = "Synthesis and {O}ptimization {P}rocedures for
{R}obustly {D}elay-{F}ault {T}estable {L}ogic {C}ircuits",
        booktitle = dac,
        pages = "221-227",
        month = jun,
        year = 1990
}

@article{mis_transcad,
    author = "R. K. Brayton and R. Rudell and A.
Sangiovanni-Vincentelli and A.  R. Wang",
    title = "{MIS}: {A} Multiple-Level Logic Optimization System",
    journal = transcad,
    volume = "CAD-6",
    number = 6,
    pages = "1062-1081",
    month = nov,
    year = 1987
}

@mastersthesis{mdd,
    author = "T. Kam",
    title = "Multi-valued Decision Diagrams",
    school = ucb,
    year = 1990,
    number = "UCB/ERL M90/125"
}

@phdthesis{sharad_thesis,
    author = "S. Malik",
    title = "Combinational Logic Optimization Techniques in Sequential
        Logic Synthesis",
    school = ucb,
    year = 1990,
    month = nov,
    number = "UCB/ERL M90/115"
}

@inproceedings{reddy_ftcs88,
    author = "S. Kundu and S. M. Reddy and N. K. Jha",
    title = "On the Design of Robust Testable {CMOS}
        Combinational Logic Circuits",
    booktitle = ftcs,
    pages = "220-225",
    year = 1988
}

@inproceedings{reddy_iccad88,
    author = "S. Kundu and S. M. Reddy and N. K. Jha",
    title = "On the Design of Robust Multiple Fault Testable {CMOS}
        Combinational Logic Circuits",
    booktitle = iccad,
    pages = "240-243",
    year = 1988
}

@unpublished{sred,
    author = "T. Villa",
    title = "A Heuristic Incompletely Specified Finite State Machine Minimizer",
    note = "Personal communication",
    year = 1985
}

@inproceedings{smith_itc_85,
    author = "G. L. Smith",
    title = "Model for Delay Faults Based upon Paths",
    booktitle = itc,
    pages = "342-349",
    year = 1985
}

@inproceedings{stamina,
        author = "G.D. Hachtel and J.-K. Rho and F. Somenzi and R. Jacoby",
        title = "{Exact and Heuristic Algorithms for the Minimization of
                 Incompletely Specified State Machines}",
        booktitle = "Proceedings of the European Design Automation
Conference",
        pages = "184-191",
        address = "Amsterdam, The Netherlands",
        month = feb,
        year = 1991
}

@CONFERENCE{b-d-k-transforms,
    author = { M. J. Bryan and S. Devadas and K. Keutzer},
    title = "{ Testability-Preserving Circuit Transformations}",
    booktitle = iccad,
    month = nov,
    year = { 1990 }
}

@CONFERENCE{demicheli_iccad_89,
   AUTHOR = "D. Wong and G. De Micheli and M Flynn",
   TITLE= "Inserting Active Delay Elements to Achieve Wave Pipelining",
   BOOKTITLE = iccad,
   MONTH = "November",
   YEAR = "1989",
   PAGES = "270-273"
}

@CONFERENCE{hartmanis-1960,
   AUTHOR = "J. Hartmanis",
   TITLE= "Symbolic {A}nalysis of a {D}ecomposition of {I}nformation
{P}rocessing",
    BOOKTITLE = "Information and Control",
   VOLUME = "3",
   MONTH = "June",
   YEAR = "1960",
   PAGES = "154-178"
}

@BOOK{papadimitriou,
    AUTHOR = "C. H. Papadimitriou and K. Steiglitz",
    TITLE = "Combinatorial Optimization: Algorithms and Complexity",
    PUBLISHER = "Prentice-Hall, Englewood Cliffs, N. J.",
    YEAR = "1982"
}

@BOOK{murty,
    AUTHOR = "K. G. Murty",
    TITLE = "Linear Programming",
    PUBLISHER = "John Wiley and Sons",
    YEAR = "1983"
}

@BOOK{hartmanis-book,
    AUTHOR = "J. Hartmanis and R. E. Stearns",
    TITLE = "Algebraic Structure Theory of Sequential Machines",
    PUBLISHER = "Prentice-Hall, Englewood Cliffs, N. J.",
    YEAR = "1966"
}

@CONFERENCE{yoeli,
   AUTHOR = "M. Yoeli",
   TITLE= "The Cascade Decomposition of Sequential Machines",
   BOOKTITLE = "IRE Transactions Electronic Computers",
   VOLUME = "EC-10",
   MONTH = "April",
   YEAR = "1961",
   PAGES = "587-592"
}

@CONFERENCE{zeiger,
   AUTHOR = "H. P. Zeiger",
   TITLE= "Loop-free Synthesis of Finite-State Machines",
   BOOKTITLE = "MIT Ph.D Thesis",
   PUBLISHER = "Department of Electrical Engineering, Cambridge, Mass.",
   MONTH = "September",
   YEAR = "1964"
}

@CONFERENCE{fdecom,
    AUTHOR = "S. Devadas and A. R. Newton",
    TITLE = "{Decomposition and Factorization of Sequential Finite State
Machines}",
    BOOKTITLE = transcad,
    MONTH = "November",
    PAGES = "1206-1217",
    YEAR = "1989"
}

@ARTICLE{kundu-reddy-jha-tcad,
    AUTHOR = "S. Kundu and S. Reddy and N. Jha",
    TITLE = "Design of Robustly Testable Combinational Logic Circuits",
    JOURNAL = transcad,
    MONTH = "August",
    VOLUME = "10",
    NUMBER = "8",
    PAGES = "1036-1047",
    YEAR = "1991"
}

@CONFERENCE{cappucino,
    AUTHOR = "G. De Micheli",
    TITLE = "Symbolic Design of Combinational and Sequential Logic
Circuits implemented by Two-Level Macros",
    BOOKTITLE = transcad,
    PAGES = "597-616",
    MONTH = "September",
    YEAR = "1986"
}

@CONFERENCE{torn68,
    AUTHOR = "H. C. Torng",
    TITLE = "An algorithm for finding secondary assignments of
synchronous sequential circuits",
    BOOKTITLE = transcomp,
    VOLUME = "C-17",
    PAGES = "416-469",
    MONTH = "May",
    YEAR = "1968"
}

@CONFERENCE{demi83,
    AUTHOR = "G. De Micheli and A. Sangiovanni-Vincentelli and T. Villa",
    TITLE = "Computer-Aided Synthesis of {PLA}-based Finite State Machines",
    BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    PAGES = "154-156",
    MONTH = "November",
    YEAR = "1983"
}

@CONFERENCE{nova,
    AUTHOR = "T. Villa",
    TITLE = "Constrained Encoding in Hypercubes: Applications to State
Assignment",
    BOOKTITLE = "U. C. Berkeley, ERL Memo 86/44",
    MONTH = "May",
    YEAR = "1986"
}

@CONFERENCE{coppola,
    AUTHOR = "A. J. Coppola",
    TITLE = "An Implementation of a State Assignment Heuristic",
    BOOKTITLE = "Proceedings of 23rd Design Automation Conference",
    PAGES = "643-649",
    MONTH = "July",
    YEAR = "1986"
}

@CONFERENCE{kmustard,
   AUTHOR = "W. Wolf and K. Keutzer and J. Akella",
   TITLE= "A Kernel Finding State Assignment Algorithm for Multi-Level Logic",
   BOOKTITLE = "Proceedings of 25th Design Automation Conference",
   MONTH = "June",
   YEAR = "1988",
   PAGES = "433-438"
}

@CONFERENCE{kmust-add,
   AUTHOR = "W. Wolf and K. Keutzer and J. Akella",
   TITLE= "Addendum to A Kernel Finding State Assignment Algorithm for
Multi-Level Logic",
   BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
   PAGES = "925-927",
   MONTH = "August",
   YEAR = "1989"
}

@CONFERENCE{asyl,
   AUTHOR = "G. Saucier and M. C. Depaulet and P. Sicard",
   TITLE= "ASYL: A Rule-based System for Controller Synthesis",
   BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
   VOLUME = "CAD-6",
   PAGES = "1088-1097",
   MONTH = "November",
   YEAR = "1987"
}

@CONFERENCE{eich77,
    AUTHOR = "E. B. Eichelberger and T. W. Williams",
    TITLE = "A {L}ogic {D}esign {S}tructure for {LSI} {T}estability",
    BOOKTITLE = "Proceedings 14th Design Automation Conference",
    MONTH = "June",
    YEAR = "1977",
    PAGES = "462-468"
}

@CONFERENCE{agr84,
    AUTHOR = "V. D. Agarwal and S. K. Jain and D. M. Singer",
    TITLE = "Automation in Design for Testability",
    BOOKTITLE = "Proceedings of Custom Integrated Circuit Conference",
    MONTH = "May",
    YEAR = "1984"
}

@CONFERENCE{bre71,
    AUTHOR = "M. A. Breuer",
    TITLE = "A Random and an Algorithmic Technique for fault detection
and test generation",
    BOOKTITLE = "IEEE Transactions on Computers",
    VOLUME = "C-20",
    MONTH = "November",
    YEAR = "1971",
    PAGES = "1366-1370"
}

@CONFERENCE{sch75,
    AUTHOR = "H. D. Schnurmann and E. Lindbloom and R. G. Carpenter",
    TITLE = "The Weighted Random Test-Pattern Generator",
    BOOKTITLE = "IEEE Transactions on Computers",
    VOLUME = "C-24",
    MONTH = "July",
    YEAR = "1975",
    PAGES = "695-700"
}

@CONFERENCE{bar88,
    AUTHOR = "K. Bartlett and R. K. Brayton and G. D. Hachtel and R. M.
Jacoby and C. R. Morrison and R. L. Rudell and A.
Sangiovanni-Vincentelli and A. R. Wang",
    TITLE = "Multi-level {L}ogic {M}inimization {U}sing {I}mplicit {D}on't
{C}ares",
    BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
    MONTH = "June",
    YEAR = "1988",
    PAGES = "723-740"
}

@CONFERENCE{mar78,
    AUTHOR = "R. Marlett",
    TITLE = "EBT: A Comprehensive Test Generation System for Highly
Sequential Circuits",
    BOOKTITLE = "Proceedings of the $15^{th}$ Design Automation Conference",
    MONTH = "June",
    YEAR = "1978",
    PAGES = "332-338"
}

@CONFERENCE{mal85,
    AUTHOR = "S. Mallela and S. Wu",
    TITLE = "A Sequential Test Generation System",
    BOOKTITLE = "Proceedings of the International Test Conference",
    MONTH = "October",
    YEAR = "1985",
    PAGES = "57-61"
}

@CONFERENCE{nit85,
    AUTHOR = "S. Nitta and M. Kawamura and K. Hirabayashi",
    TITLE = "Test Generation by Activation and Defect-Drive (TEGAD)",
    BOOKTITLE = "INTEGRATION Journal",
    VOLUME = "3 (1985)",
    YEAR = "1985",
    PAGES = "2-12"
}

@CONFERENCE{sht85,
    AUTHOR = "S. Shteingart and A. W. Nagle and J. Grason",
    TITLE = "RTG: Automatic Register Level Test Generator",
    BOOKTITLE = "Proceedings of $22^{nd}$ Design Automation Conference",
    MONTH = "June",
    YEAR = "1985",
    PAGES = "803-807"
}

@CONFERENCE{seq-delay,
   AUTHOR = "S. Devadas",
   TITLE = "Delay {T}est {G}eneration for {S}ynchronous {S}equential
{C}ircuits",
   BOOKTITLE = "Proceedings of the Int'l Test Conference",
   MONTH = "August",
   YEAR = "1989",
   PAGES = "144-152"
}

@CONFERENCE{stallion,
    AUTHOR = "H-K. T. Ma and S. Devadas and A. R. Newton and A.
Sangiovanni-Vincentelli",
    TITLE = "Test {G}eneration for {S}equential {C}ircuits",
    BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
    PAGES = "1081-1093",
    MONTH = "October",
    YEAR = "1988"
}

@CONFERENCE{mustang,
    AUTHOR = "S. Devadas and H-K. T. Ma and A. R. Newton and A.
Sangiovanni-Vincentelli",
    TITLE = "{MUSTANG}: {S}tate {A}ssignment of {F}inite {S}tate
{M}achines {T}argeting {M}ulti-{L}evel {L}ogic {I}mplementations",
    BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
    PAGES = "1290-1300",
    MONTH = "December",
    YEAR = "1988"
}

@CONFERENCE{plenary,
    AUTHOR = "S. Devadas and H-K. T. Ma and A. R. Newton and A.
Sangiovanni-Vincentelli",
    TITLE = "Optimal {L}ogic {S}ynthesis and {T}estability: {T}wo
{F}aces of the {S}ame {C}oin",
    BOOKTITLE = "Proceedings of the International Test Conference",
    PAGES = "3-13",
    MONTH = "September",
    YEAR = "1988"
}

@CONFERENCE{satest,
    AUTHOR = "S. Devadas and H-K. T. Ma and A. R. Newton and A.
Sangiovanni-Vincentelli",
    TITLE = "A {S}ynthesis and {O}ptimization {P}rocedure for {F}ully
and {E}asily {T}estable {S}equential {M}achines",
    BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
    PAGES = "1100-1107",
    MONTH = "October",
    YEAR = "1989"
}

@CONFERENCE{iscan,
    AUTHOR = "H-K. T. Ma and S. Devadas and A. R. Newton and A.
Sangiovanni-Vincentelli",
    TITLE = "An {I}ncomplete {S}can {D}esign {A}pproach to {T}est
{G}eneration for {S}equential {C}ircuits",
    BOOKTITLE = "Proceedings of the International Test Conference",
    MONTH = "September",
    YEAR = "1988"
}

@CONFERENCE{agr87,
    AUTHOR = "V. Agrawal et. al",
    TITLE = "A {C}omplete {S}olution to the {P}artial {S}can {P}roblem",
    BOOKTITLE = "Proceedings of the Int'l Testing Conference",
    MONTH = "September",
    YEAR = "1987"
}

@CONFERENCE{esp-exact,
   AUTHOR = "R. Rudell and A. Sangiovanni-Vincentelli",
   TITLE= "Exact {M}inimization of {M}utiple-{V}alued {F}unctions for
{PLA} {O}ptimization",
   BOOKTITLE = "Proceedings of the Int'l Conference. on Computer-Aided
Design",
   YEAR = "1986",
   PAGES = "352-355"
}

@CONFERENCE{mis,
    AUTHOR = "R. Brayton and R. Rudell and A. Sangiovanni-Vincentelli and A.
Wang",
    TITLE = "{MIS}: {A} {M}ultiple-{L}evel {L}ogic {O}ptimization {S}ystem",
    BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
    MONTH = "November",
    YEAR = "1987",
    PAGES = "1062-1081"
}

@BOOK{jha-kundu-book,
    AUTHOR = "N. K. Jha and S. Kundu",
    TITLE = "{T}esting and {R}eliable {D}esign of {CMOS} {C}ircuits",
    PUBLISHER = "Kluwer Academic Publishers",
    YEAR = "1990"
}

@BOOK{esp-book,
    AUTHOR = "R. K. Brayton and G. D. Hachtel and
         C. McMullen and A. Sangiovanni-Vincentelli",
    TITLE = "Logic {M}inimization {A}lgorithms for {VLSI} Synthesis",
    PUBLISHER = "Kluwer Academic Publishers",
    YEAR = "1984"
}


@CONFERENCE{bra82,
    AUTHOR = "R. K. Brayton and C. McMullen",
    TITLE = "The {D}ecomposition and {F}acorization of {B}oolean
{E}xpressions",
    BOOKTITLE = "Proceedings of the Int'l Symposium on Circuits and Systems",
    PAGES = "49-54",
    ADDRESS = "Rome",
    MONTH = "May",
    YEAR = "1982"
}

@CONFERENCE{kiss,
    AUTHOR = "G. De Micheli and R. K. Brayton and A. Sangiovanni-Vincentelli",
    TITLE = "Optimal {S}tate Assignment of {F}inite {S}tate {M}achines",
    BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
    PAGES = "269-285",
    MONTH = "July",
    YEAR = "1985"
}

@CONFERENCE{lss1,
    AUTHOR = "J. Darringer et. al",
    TITLE = "Logic {S}ynthesis {T}hrough {L}ocal {T}ransformations",
    BOOKTITLE = "IBMJRD",
    PAGES = "272-280",
    MONTH = "July",
    YEAR = "1981"
}

@CONFERENCE{lss2,
    AUTHOR = "J. Darringer et. al",
    TITLE = "{LSS}: {A} {S}ystem for {P}roduction {L}ogic {S}ynthesis",
    BOOKTITLE = "IBMJRD",
    MONTH = "September",
    YEAR = "1984"
}

@CONFERENCE{ysc,
    AUTHOR = "R. K. Brayton et. al",
    TITLE = "The {Y}orktown {S}ilicon {C}ompiler",
    BOOKTITLE = "Proceedings of the Int'l Symposium on Circuits and Systems",
    MONTH = "June",
    YEAR = "1985"
}

@CONFERENCE{mis-mv,
    AUTHOR = "L. Lavagno and S. Malik and R.K. Brayton and A.
    Sangiovanni-Vincentelli",
    TITLE = "{MIS-MV}: Optimization of Multi-level Logic with Multiple-Valued
    Inputs",
    BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    PAGES = "560-563",
    MONTH = "November",
    YEAR = "1990"
}

@CONFERENCE{esp-mv,
    AUTHOR = "R. Rudell and A. Sangiovanni-Vincentelli",
    TITLE = "Multiple-{V}alued {M}inimization for {PLA} {O}ptimization",
    BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
    PAGES = "727-751",
    MONTH = "September",
    YEAR = "1987"
}

@CONFERENCE{hofm-phd,
    AUTHOR = "M. Hofmann",
    TITLE = "Automated {S}ynthesis of {M}ulti-level {C}ombinational
{L}ogic in {CMOS} {T}echnology",
    BOOKTITLE = "Ph.D Dissertation",
    PUBLISHER = "University of California, Berkeley",
    YEAR = "1985"
}

@CONFERENCE{socrates,
    AUTHOR = "K. Bartlett and W. Cohen and A. J. De Geus and G. D. Hachtel",
    TITLE = "Synthesis of {M}ulti-level {L}ogic {U}nder {T}iming
{C}onstraints",
    BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
    MONTH = "October",
    YEAR = "1986"
}

@CONFERENCE{trischler,
    AUTHOR = "E. Trischler",
    TITLE = "{I}ncomplete {S}can {D}esign with an {A}utomatic {T}est
{G}eneration {M}ethodology",
    BOOKTITLE = "Proceedings of the Int'l Test Conference",
    PAGES = "153-162",
    MONTH = "November",
    YEAR = "1980"
}

@CONFERENCE{dire81,
    AUTHOR = "S. W. Director and A. C. Parker and D. P. Siewiorek and D. E.
Thomas",
    TITLE = "A {D}esign {M}ethodology and {C}omputer {A}ids for {D}igital
{VLSI}",
    BOOKTITLE = "IEEE Transactions on Circuits and Systems",
    PAGES = "634-645",
    MONTH = "July",
    YEAR = "1981"
}

@CONFERENCE{alle81,
    AUTHOR = "J. Allen and P. Penfield",
    TITLE = "{VLSI} {D}esign {A}utomation {A}ctivities at {M.I.T}",
    BOOKTITLE = "IEEE Transactions on Circuits and Systems",
    PAGES = "645-665",
    MONTH = "July",
    YEAR = "1981"
}

@CONFERENCE{newt81,
    AUTHOR = "A. R. Newton and D. O. Pederson and A.
Sangiovanni-Vincentelli and C. H. Sequin",
    TITLE = "Design {A}ids for {VLSI}: {T}he {B}erkeley {P}erspective",
    BOOKTITLE = "IEEE Transactions on Circuits and Systems",
    PAGES = "666-680",
    MONTH = "July",
    YEAR = "1981"
}

@CONFERENCE{souk81,
    AUTHOR = "J. Soukup",
    TITLE = "Circuit {L}ayout",
    BOOKTITLE = "Proceedings of the IEEE",
    PAGES = "1281-1305",
    MONTH = "October",
    YEAR = "1981"
}

@CONFERENCE{sang86,
    AUTHOR = "A. Sangiovanni-Vincentelli",
    TITLE = "An {O}verview of {S}ynthesis {S}ystems",
    BOOKTITLE = "Proceedings of the Custom Integrated Circuits Conference",
    PAGES = "221-225",
    MONTH = "May",
    YEAR = "1985"
}

@CONFERENCE{joh79,
    AUTHOR = "D. Johannsen",
    TITLE = "{B}ristle {B}locks: {A} {S}ilicon {C}ompiler",
    BOOKTITLE = "Proceedings of the $16^{th}$ Design Automation Conference",
    PAGES = "310-313",
    MONTH = "June",
    YEAR = "1979"
}

@CONFERENCE{shr82,
    AUTHOR = "H. E. Shrobe",
    TITLE = "The {D}atapath {G}enerator",
    BOOKTITLE = "Proceedings of the $2^{nd}$ MIT Conference on Advanced
Research in VLSI",
    MONTH = "January",
    YEAR = "1982"
}

@CONFERENCE{sou83,
    AUTHOR = "J. R. Southard",
    TITLE = "{MACPITTS}: {A}n {A}pproach to {S}ilicon {C}ompilation",
    BOOKTITLE = "IEEE Computer",
    MONTH = "December",
    YEAR = "1983"
}

@CONFERENCE{arms62,
    AUTHOR = "D. B. Armstrong",
    TITLE = "A {P}rogrammed {A}lgorithm for {A}ssigning {I}nternal
{C}odes to {S}equential {M}achines",
    BOOKTITLE = "IRE Transactions on Electronic Computers",
    VOLUME = "EC-11",
    PAGES = "466-472",
    MONTH = "August",
    YEAR = "1962"
}

@CONFERENCE{karp64,
    AUTHOR = "R. M. Karp",
    TITLE = "{S}ome {T}echniques for the {S}tate {A}ssignment of
{S}ynchronous {S}equential {M}achines",
    BOOKTITLE = "IEEE Transactions on Electronic Computers",
    VOLUME = "EC-13",
    PAGES = "507-518",
    MONTH = "October",
    YEAR = "1964"
}

@CONFERENCE{kohavi64,
    AUTHOR = "Z. Kohavi",
    TITLE = "{S}econdary {S}tate {A}ssignment for {S}equential {M}achines",
    BOOKTITLE = "IEEE Transactions on Electronic Computers",
    VOLUME = "EC-13",
    PAGES = "193-203",
    MONTH = "June",
    YEAR = "1964"
}

@CONFERENCE{dolo64,
    AUTHOR = "T. A. Dolotta",
    TITLE = "The coding of internal states of Sequential Machines",
    BOOKTITLE = "IEEE Transactions on Electronic Computers",
    VOLUME = "EC-13",
    PAGES = "549-562",
    MONTH = "October",
    YEAR = "1964"
}

@CONFERENCE{fds84,
    AUTHOR = "J. Dussault and C. Liaw and M. Tong",
    TITLE = "A high level synthesis tool for {MOS} chip design",
    BOOKTITLE = "Proceedings of the $22^{nd}$ Design Automation Conference",
    MONTH = "June",
    YEAR = "1984"
}

@CONFERENCE{angel84,
    AUTHOR = "T. Hoshino and M. Endo and O. Karatsu",
    TITLE = "An {A}utomatic logic synthesizer for integrated {VLSI}
{D}esign system",
    BOOKTITLE = "Proceedings of the Custom Integrated Circuit Conference",
    PAGES = "356-360",
    MONTH = "May",
    YEAR = "1984"
}

@CONFERENCE{cha78,
    AUTHOR = "C. W. Cha",
    TITLE = "A testing strategy for PLAs",
    BOOKTITLE = "Proceedings of the $15^{th}$ Design Automation Conference",
    MONTH = "June",
    YEAR = "1978"
}

@CONFERENCE{eic80,
    AUTHOR = "E. B. Eichelberger and E. Lindbloom",
    TITLE = "A heuristic test-pattern generator for programmable logic
arrays",
    BOOKTITLE = "IBM J. Res. Develop.",
    VOLUME = "24",
    PAGES = "15-22",
    MONTH = "Jan",
    YEAR = "1980"
}

@CONFERENCE{fuj81,
    AUTHOR = "H. Fujiwara and K. Kinoshita",
    TITLE = "A Design of Programmable Logic Arrays with Universal Tests",
    BOOKTITLE = "IEEE Transactions on Computers",
    VOLUME = "C-30",
    MONTH = "November",
    YEAR = "1981",
    PAGES = "823-828"
}

@CONFERENCE{hon79,
    AUTHOR = "S. J. Hong and D. L. Ostapko",
    TITLE = "Fault analysis and test generation for programmable logic
arrays(PLA's)",
    BOOKTITLE = "IEEE Transactions on Computers",
    VOLUME = "C-28",
    MONTH = "September",
    YEAR = "1979",
    PAGES = "617-626"
}

@CONFERENCE{hon80,
    AUTHOR = "S. J. Hong and D. L. Ostapko",
    TITLE = "FITPLA: A Programmable Logic Array for Function Independent
Testing",
    BOOKTITLE = "Dig. 10th Int. Symp. FTC",
    YEAR = "1980",
    PAGES = "131-136"
}

@CONFERENCE{platypus,
    AUTHOR = "R. S. Wei and A. L. Sangiovanni-Vincentelli",
    TITLE = "PLATYPUS: A PLA Test Pattern Generation Tool",
    BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
    VOLUME = "CAD-5",
    MONTH = "October",
    YEAR = "1986",
    PAGES = "633-644"
}

@CONFERENCE{brand,
    AUTHOR = "D. Brand",
    TITLE = "Redundancy and {D}on't {C}ares in {L}ogic {S}ynthesis",
    BOOKTITLE = "IEEE Transactions on Computers",
    VOLUME = "C-32",
    MONTH = "October",
    YEAR = "1983",
    PAGES = "947-952"
}

@CONFERENCE{hopcroft-ullman,
    AUTHOR = "J. E. Hopcroft and J. D. Ullman",
    TITLE = "Introduction to Automata Theory, Languages and Computation",
    BOOKTITLE = "Addison-Wesley",
    PUBLISHER = "Reading, Mass.",
    YEAR = "1979"
}

@CONFERENCE{agr88,
    AUTHOR = "V. Agrawal and P. Agrawal and K-T Cheng",
    TITLE = "CONTEST: A Concurrent Test Generator for Sequential Circuits",
    BOOKTITLE = "Proceedings of the $25^{th}$ Design Automation Conference",
    MONTH = "June",
    YEAR = "1988"
}

@CONFERENCE{techmis,
    AUTHOR = "E. Detjens and G. Gannot and R. Rudell and A.
Sangiovanni-Vincentelli and A. Wang",
    TITLE = "{Technology Mapping in MIS}",
    BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    MONTH = "November",
    YEAR = "1987",
    PAGES = "116-119"
}

@inproceedings{ mis-tech-map,
        author = {   E. Detjens {\it et. al} },
        title = {  Technology Mapping in MIS},
        booktitle = { Proceedings of the Int'l Conference on Computer-Aided
Design},
        pages = { 116-119  },
        month = { November },
        year = { 1987 }
        }


@CONFERENCE{dagon,
    AUTHOR = "K. Keutzer",
    TITLE = "{DAGON}: {T}echnology {M}apping and {L}ocal {O}ptimization",
    BOOKTITLE = "Proceedings of the $24^{th}$ Design Automation Conference",
    MONTH = "June",
    YEAR = "1987",
    PAGES = "341-347"
}

@CONFERENCE{DACproc,
    TITLE = "Proceedings of the $24^{th}$ and $25^{th}$ Design
Automation Conference",
    YEAR = "1987-88"
}

@CONFERENCE{ICCADproc,
    TITLE = "Proceedings of the Int'l Conference on Computer-Aided Design",
    YEAR = "1986-87"
}

@CONFERENCE{rot66,
    AUTHOR = "J. P. Roth",
    TITLE = "Diagnosis of Automata Failures: a calculus and a method",
    BOOKTITLE = "IBM journal of Research and Development",
    VOLUME = "10",
    MONTH = "July",
    YEAR = "1966",
    PAGES = "278-291"
}

@CONFERENCE{mini,
    AUTHOR = "S. J. Hong and R. G. Cain and D. L. Ostapko",
    TITLE = "MINI: A heuristic approach for logic minimization",
    BOOKTITLE = "IBM journal of Research and Development",
    VOLUME = "18",
    MONTH = "September",
    YEAR = "1974",
    PAGES = "443-458"
}

@CONFERENCE{mcc65,
    AUTHOR = "E. J. McCluskey",
    TITLE = "Introduction to the Theory of Switching Circuits",
    PUBLISHER = "McGraw Hill",
    YEAR = "1965"
}

@BOOK{hill-peterson-book,
    AUTHOR = "F. J. Hill and G. R. Peterson",
    TITLE = "Introduction to Switching Theory and Logical Design",
    PUBLISHER = "John Wiley and Sons",
    YEAR = "1981"
}

@CONFERENCE{unger-book,
    AUTHOR = "M. C. Paull and S. H. Unger",
    TITLE = "Minimizing the {N}umber of {S}tates in {I}ncompletely
{S}pecified {S}equential {C}ircuits",
    BOOKTITLE = "IRE Transactions on Electronic Computers",
    VOLUME = "EC-8",
    MONTH = "September",
    YEAR = "1959",
    PAGES = "356-357"
}

@CONFERENCE{verif,
    AUTHOR = "S. Devadas and H-K. T. Ma and A. R. Newton",
    TITLE = "On the Verification of Sequential Machines at Differing
Levels of Abstraction",
    BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
    MONTH = "June",
    YEAR = "1988",
    PAGES = "713-722"
}

@CONFERENCE{dangers,
    AUTHOR = "J. Hartmanis and R. E. Stearns",
    TITLE = "Some Dangers in the State Reduction of Sequential Machines",
    BOOKTITLE = "Information and Control",
    VOLUME = "5",
    MONTH = "September",
    YEAR = "1962",
    PAGES = "252-260"
}

@CONFERENCE{irredseq,
    AUTHOR = "S. Devadas and H-K. T. Ma and A. R. Newton and A.
Sangiovanni-Vincentelli",
    TITLE = "Irredundant {S}equential {M}achines {V}ia {O}ptimal
{L}ogic {S}ynthesis",
    BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
    PAGES = "8-18",
    MONTH = "January",
    YEAR = "1990"
}

@CONFERENCE{plafsm,
AUTHOR = "S. Devadas and H-K. T. Ma and A. R. Newton",
TITLE = "Easily {T}estable {PLA}-based {F}inite {S}tate {M}achines",
BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
YEAR = "1990",
MONTH = "June",
PAGES = "614-611"
}

@CONFERENCE{mcboole,
AUTHOR = "M. Dagenais and V. K. Agarwal and N. Rumin",
TITLE = "{McBOOLE}: {A} {P}rocedure for {E}xact {B}oolean {M}inimization",
BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
PAGES = "229-237",
MONTH = "January",
YEAR = "1986"
}

@CONFERENCE{plaid,
AUTHOR = "S. Devadas and A. R. Wang and A. R. Newton and A.
Sangiovanni-Vincentelli",
    TITLE = "Boolean {D}ecomposition in {M}ulti-{L}evel {L}ogic
{O}ptimization",
    BOOKTITLE = "Journal of Solid State Circuits",
    PAGES = "399-408",
    MONTH = "April",
    YEAR = "1989"
}

@CONFERENCE{bold-system,
    AUTHOR = "D. Bostick et. al",
    TITLE = "{The Boulder Optimal Logic Design System}",
    BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    PAGES = "62-65",
    MONTH = "November",
    YEAR = "1987"
}

@CONFERENCE{saldanha,
    AUTHOR = "A. Saldanha and R. H. Katz",
    TITLE = "PLA Optimization Using Output Encoding",
    BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    PAGES = "478-481",
    MONTH = "November",
    YEAR = "1988"
}

@CONFERENCE{sasao,
    AUTHOR = "T. Sasao",
    TITLE = "PLA Decomposition",
    BOOKTITLE = "MCNC 1987 Logic Synthesis Workshop",
    MONTH = "May",
    YEAR = "1987"
}

@CONFERENCE{lawler,
    AUTHOR = "E. Lawler",
    TITLE = "An Approach to Multi-Level Boolean Minimization",
    BOOKTITLE = "Journal of the ACM",
    MONTH = "283-295",
    YEAR = "1964"
}

@CONFERENCE{tison,
    AUTHOR = "P. Tison",
    TITLE = "Generalization of Consensus Theory and Application to the
minimization of Boolean Functions",
    BOOKTITLE = "IEEE Transactions on Computers",
    PAGES = "446-450",
    MONTH = "August",
    YEAR = "1967"
}

@BOOK{np-book,
    AUTHOR = "M. R. Garey and D. S. Johnson",
    TITLE = "Computers and Intractability: A Guide to the Theory of
NP-completeness",
    PUBLISHER = "W. H. Freeman and Company",
    YEAR = "1979"
}

@CONFERENCE{retiming,
   AUTHOR = "C. E. Leiserson and F. M. Rose and J. B. Saxe",
   TITLE= "Optimizing Synchronous Circuitry by Retiming",
   BOOKTITLE = "Proceedings of $3^{rd}$ CalTech Conference on VLSI",
   MONTH = "March",
   YEAR = "1983"
}

@CONFERENCE{hachtel-multi-fault-iwls,
   AUTHOR = "G. D. Hachtel and R. M. Jacoby and K. Keutzer and C. R.
Morrison",
   TITLE= "On the {R}elationship {B}etween {A}rea {O}ptimization and
{M}ultifault {T}estabilty of {M}ultilevel {L}ogic",
   BOOKTITLE = "Proceedings of the International Workshop on Logic Synthesis",
   MONTH = "June",
   YEAR = "1989"
}

@CONFERENCE{lightner-wolf,
    AUTHOR = "M. Lightner and W. Wolf",
    TITLE = "Experiments in Logic Optimization",
    BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    MONTH = "November",
    YEAR = "1988",
   PAGES = "286-289"
}

@CONFERENCE{brayton-87,
    AUTHOR = "R. Brayton",
    TITLE = "Factoring Logic Functions",
    BOOKTITLE = "IBMJRD",
    VOLUME = "31",
    PAGES = "187-198",
    MONTH = "March",
    YEAR = "1987"
}

@BOOK{miczos-book,
    TITLE = "Digital Logic Testing and Simulation",
    AUTHOR = "A. Miczo",
    PUBLISHER = "Harper and Row, New York",
    YEAR = "1986"
}

@CONFERENCE{chameleon,
   AUTHOR = "D. Braun and J. Burns and F. Romeo and A.
Sangiovanni-Vincentelli and K. Mayaram and S. Devadas and H-K. T. Ma",
   TITLE = "Techniques for {M}ulti-{L}ayer {C}hannel {R}outing",
   BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
   PAGES = "698-712",
   MONTH = "June",
   YEAR = "1988"
}

@CONFERENCE{proteus,
   AUTHOR = "R-S. Wei",
   TITLE = "Logic {V}erification and {T}est {G}eneration for {VLSI}
{C}ircuits",
   BOOKTITLE = "Ph.D Dissertation, U. C. Berkeley",
   MONTH = "September",
   YEAR = "1986"
}

@CONFERENCE{plover,
   AUTHOR = "H-K. T. Ma and S. Devadas and R-S. Wei and A.
Sangiovanni-Vincentelli",
   TITLE = "{Logic Verification Algorithms and Their Parallel
Implementation}",
   BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
   PAGES = "181-189",
   MONTH = "February",
   YEAR = "1989"
}

@CONFERENCE{yoshimura,
   AUTHOR = "T. Yoshimura and E. S. Kuh",
   TITLE = "Efficient {A}lgorithms for {C}hannel {R}outing",
   BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
   PAGES = "25-35",
   MONTH = "January",
   YEAR = "1982"
}

@CONFERENCE{egan84,
   AUTHOR = "P. Egan and C. L. Liu",
   TITLE = "Optimal {B}ipartite {F}olding of a {PLA}",
   BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
   PAGES = "191-198",
   MONTH = "July",
   YEAR = "1984"
}

@CONFERENCE{asano82,
   AUTHOR = "T. Asano",
   TITLE = "An {O}ptimum {G}ate {P}lacement {A}lgorithm for {MOS}
{O}ne-{D}imensional {A}rrays",
   BOOKTITLE = "Journal of Digital Systems",
   PAGES = "1-25",
   MONTH = "January",
   YEAR = "1982"
}

@CONFERENCE{bryant-bdd,
   AUTHOR = "R. Bryant",
   TITLE = "{Graph-Based Algorithms for Boolean Function Manipulation}",
   BOOKTITLE = "IEEE Transactions on Computers",
   VOLUME = "C-35",
   PAGES = "677-691",
   MONTH = "August",
   YEAR = "1986"
}

@CONFERENCE{bryant-chapel-hill,
   AUTHOR = "R. Bryant",
   TITLE = "Symbolic {V}erification of {MOS} {C}ircuits",
   BOOKTITLE = "Proceedings of the 1985 Chapel Hill Conference on VLSI",
   PAGES = "419-438",
   MONTH = "December",
   YEAR = "1985"
}

@CONFERENCE{yacr,
   AUTHOR = "J. Reed and A. Sangiovanni-Vincentelli and M. Santamauro",
   TITLE = " A New Symbolic Channel Router: YACR2",
   BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
   PAGES = "208-219",
   MONTH = "July",
   YEAR = "1985"
}

@CONFERENCE{szymanski,
   AUTHOR = "T. Szymanski",
   TITLE = "Dogleg {C}hannel {R}outing is {NP}-{C}omplete",
   BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
   PAGES = "31-40",
   MONTH = "January",
   YEAR = "1985"
}

@CONFERENCE{miczo,
   AUTHOR = "A. Miczo",
   TITLE = "The sequential ATPG: A Theoretical Limit",
   BOOKTITLE = "Proceedings of the Int'l Test Conference",
   PAGES = "143-147",
   MONTH = "October",
   YEAR = "1983"
}

@CONFERENCE{hennie-book,
   AUTHOR = "F. C. Hennie",
   TITLE = "{Finite State Models for Logical Machines}",
   BOOKTITLE = "Wiley, New York",
   YEAR = "1968"
}

@CONFERENCE{hennie,
   AUTHOR = "F. C. Hennie",
   TITLE = "Fault Detecting Experiments for Sequential Circuits",
   BOOKTITLE = "Proceedings of the $5^{th}$ Annual Symposium and
Switching Theory and Logical Design",
   PAGES = "95-110",
   MONTH = "November",
   YEAR = "1974"
}

@CONFERENCE{contest,
   AUTHOR = "V. D. Agrawal and K-T. Cheng and P. Agrawal",
   TITLE = "{CONTEST}: {A} {C}oncurrent {T}est {G}enerator for
{S}equential {C}ircuits",
   BOOKTITLE = "Proceedings of the $25^{th}$ Design Automation Conference",
   PAGES = "84-89",
   MONTH = "June",
   YEAR = "1988"
}

@CONFERENCE{cheng-iscan,
   AUTHOR = "K-T. Cheng and V. D. Agrawal",
   TITLE = "An {E}conomical {S}can {D}esign for {S}equential {L}ogic
{T}est {G}eneration",
   BOOKTITLE = "Proceedings of the $19^{th}$ Fault Tolerant Computing
Symposium",
   MONTH = "June",
   YEAR = "1989"
}

@CONFERENCE{bhasker,
   AUTHOR = "J. Bhasker",
   TITLE = "Private Communication",
   MONTH = "March",
   YEAR = "1989"
}

@CONFERENCE{exact-state,
    AUTHOR = "S. Devadas and A. R. Newton",
    TITLE = "Exact {A}lgorithms for {O}utput {E}ncoding, {S}tate
{A}ssignment and {F}our-{L}evel {B}oolean {M}inimization",
    BOOKTITLE = "Proceedings of the $23^{rd}$ Hawaii Int'l Conference
on System Sciences",
    NOTE = "to appear in the IEEE Transactions on Computer-Aided
Design, January1991",
    MONTH = "January",
    YEAR = "1990"
}

@CONFERENCE{decomstate,
    AUTHOR = "S. Devadas",
    TITLE = "General Decomposition of Sequential Machines:
Relationships to State Assignment",
    BOOKTITLE = "Proceedings of the $26^{th}$ Design Automation Conference",
    PAGES = "314-320",
    MONTH = "June",
    YEAR = "1989"
}

@CONFERENCE{pla-smith,
   AUTHOR = "G. Smith",
   TITLE = "{D}etection of {F}aults in {PLA}s",
   BOOKTITLE = "IEEE Transactions on Computers",
   PAGES = "845-853",
   MONTH = "November",
   YEAR = "1979"
}

@CONFERENCE{serra,
   AUTHOR = "M. Serra and J. C. Muzio",
   TITLE = "Testing {PLA}s by {S}um of {S}yndromes",
   BOOKTITLE = "IEEE Transactions on Computers",
   PAGES = "1097-1110",
   MONTH = "September",
   YEAR = "1987"
}

@CONFERENCE{ligthart,
   AUTHOR = "M. Ligthart and R. Stans",
   TITLE = "A {F}ault {M}odel for {PLA}s",
   BOOKTITLE = "Proceedings of the $1^{st}$ European Test Conference",
   MONTH = "April",
   YEAR = "1989"
}

@BOOK{hodges-jackson-book,
   AUTHOR = "D. A. Hodges and H. G. Jackson",
   TITLE = "{Analysis and Design of Digital Integrated Circuits}",
   NOTE = "Second Edition",
   PUBLISHER = "McGraw Hill Book Company",
   YEAR = "1988"
}

@BOOK{glasser,
   AUTHOR = "L. Glasser and D. Dobberpuhl",
   TITLE = "The {D}esign and {A}nalysis of {VLSI} Circuits ",
   PUBLISHER = "Addison-Wesley ",
   YEAR = "1985"
}

@CONFERENCE{att-cascade,
   AUTHOR = "M. Foster",
   TITLE = "Partitioning Real Finite Automata",
   BOOKTITLE = "AT\&T Bell Laboratories Internal Memorandum",
   MONTH = "August",
   YEAR = "1988"
}

@CONFERENCE{exact-ismvl,
   AUTHOR = "S. Devadas",
   TITLE = "{Minimization of Functions with Multiple-Valued Outputs:
Theory and Applications}",
   BOOKTITLE = "Proceedings of the $20^{th}$ Int'l Symposium on
Multiple-Valued Logic",
   MONTH = "May",
   YEAR = "1990"
}

@CONFERENCE{multiseq,
   AUTHOR = "S. Devadas",
   TITLE = "Approaches to {M}ulti-Level {S}equential {L}ogic {S}ynthesis",
   BOOKTITLE = "Proceedings of the $26^{th}$ Design Automation Conference",
   PAGES = "270-276",
   MONTH = "June",
   YEAR = "1989"
}

@CONFERENCE{bool-rel,
   AUTHOR = "R. K. Brayton and F. Somenzi",
   TITLE = "Boolean {R}elations and the {I}ncomplete {S}pecification of
{L}ogic {N}etworks",
   BOOKTITLE = "Proceedings of VLSI 89",
   MONTH = "August",
   YEAR = "1989"
}

@CONFERENCE{kernighan,
   AUTHOR = "B. W. Kernighan and S. Lin",
   TITLE = "An {E}fficient {H}euristic {P}rocedure for {P}artitioning
{G}raphs",
   BOOKTITLE = "The Bell System Technical Journal",
   PAGES = "291-307",
   MONTH = "February",
   YEAR = "1970"
}

@CONFERENCE{testdecom,
    AUTHOR = "P. Ashar and S. Devadas and A. R. Newton",
    TITLE = "Testability-Driven Decomposition of Large Sequential Machines",
    BOOKTITLE = "Proceedings of the Int'l Conference on Computer Design",
    MONTH = "October",
    PAGES = "273-276",
    YEAR = "1990"
}

@CONFERENCE{optdecom,
    AUTHOR = "P. Ashar and S. Devadas and A. R. Newton",
    TITLE = "Optimum and {H}euristic {A}lgorithms for {F}inite {S}tate
{M}achine {D}ecomposition and {P}artitioning",
    BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    PAGES = "216-219",
    MONTH = "November",
    YEAR = "1989"
}

@CONFERENCE{disjtest,
    AUTHOR = "S. Devadas and K. Keutzer",
    TITLE = "Boolean Minimization and Algebraic Factorization
Procedures for Fully Testable Sequential Machines",
    BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    PAGES = "208-211",
    MONTH = "November",
    YEAR = "1989"
}

@CONFERENCE{intercon,
    AUTHOR = "S. Devadas and H-K. T. Ma and A. R. Newton",
    TITLE = "Redundancies and Don't Cares in Sequential Logic Synthesis",
    BOOKTITLE = "Proceedings of the Int'l Test Conference",
    MONTH = "August",
    YEAR = "1989"
}

@CONFERENCE{malik-bdd,
   AUTHOR = "S. Malik and A. R. Wang and R. Brayton and A.
Sangiovanni-Vincentelli",
   TITLE = "Logic {V}erification using {B}inary {D}ecision {D}iagrams in a
{L}ogic {S}ynthesis {E}nvironment",
   BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided Design",
   PAGES = "6-9",
   MONTH = "November",
   YEAR = "1988"
}

@CONFERENCE{ml-taut,
   AUTHOR = "G. D. Hachtel and R. M. Jacoby",
   TITLE = "Verification {A}lgorithms for {VLSI} {S}ynthesis",
   BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
   PAGES = "616-640",
   MONTH = "May",
   YEAR = "1988"
}

@CONFERENCE{supowit,
   AUTHOR = "K. J. Supowit and S. J. Friedman",
   TITLE = "A {N}ew {M}ethod for {V}erifying {S}equential {C}ircuits",
   BOOKTITLE = "Proceedings of the $23^{rd}$ Design Automation Conference",
   PAGES = "200-207",
   MONTH = "June",
   YEAR = "1986"
}

@CONFERENCE{temporal,
   AUTHOR = "D. Dill and E. Clarke",
   TITLE = "Automatic {V}erification of {A}synchronous {C}ircuits
{U}sing {T}emporal {L}ogic",
   BOOKTITLE = "Proceedings of the 1985 Chapel Hill Conference on VLSI",
   PAGES = "127-143",
   MONTH = "December",
   YEAR = "1985"
}


@CONFERENCE{hwang87,
   AUTHOR = "S. Hwang and A. R. Newton",
   TITLE = "An {E}fficient {D}esign {C}orrectness {C}hecker for
{F}inite {S}tate {M}achines",
   BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided Design",
   PAGES = "410-413",
   MONTH = "November",
   YEAR = "1987"
}

@CONFERENCE{burch-verif,
   AUTHOR = "J. Burch and E. Clarke and K. McMillan and D. Dill",
   TITLE = "{Sequential Circuit Verification Using Symbolic Model Checking}",
   BOOKTITLE = "Proceedings of the $27^{th}$ Design Automation Conference",
   MONTH = "June",
   YEAR = "1990",
   PAGES = "46-51"
}

@CONFERENCE{ghosh-verif,
   AUTHOR = "A. Ghosh and S. Devadas and A. R. Newton",
   TITLE = "Verification of {I}nteracting {S}equential {C}ircuits",
   BOOKTITLE = "Proceedings of the $27^{th}$ Design Automation Conference",
   MONTH = "June",
   YEAR = "1990",
   PAGES = "213-219"
}

@CONFERENCE{ghosh,
   AUTHOR = "A. Ghosh and S. Devadas and A. R. Newton",
   TITLE = "Test {G}eneration for {H}ighly {S}equential {C}ircuits",
   BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided Design",
   PAGES = "362-365",
   MONTH = "November",
   YEAR = "1989"
}

@CONFERENCE{sliding,
   AUTHOR = "S. Malik and E. Sentovich and R. Brayton and A.
Sangiovanni-Vincentelli",
   TITLE = "Retiming and {R}esynthesis: {O}ptimizing {S}equential
{C}ircuits {U}sing {C}ombinational {T}echniques",
   BOOKTITLE = "Proceedings of the 1989 MCNC Logic Synthesis Workshop",
   MONTH = "May",
   YEAR = "1989"
}

@CONFERENCE{synchronous,
   AUTHOR = "G. De Micheli and R. Yip",
   TITLE = "{Synchronous Logic Synthesis}",
   BOOKTITLE = "Proceedings of the 1989 MCNC Logic Synthesis Workshop",
   MONTH = "May",
   YEAR = "1989"
}

@CONFERENCE{unify,
   AUTHOR = "S. Devadas and K. Keutzer",
   TITLE = "A {U}nified {A}pproach to the {S}ynthesis of {F}ully
{T}estable {S}equential {M}achines",
   BOOKTITLE = "Proceedings of $23^{rd}$ Hawaii Int'l Conference on
System Sciences",
   NOTE = "to appear in the IEEE Transactions on Computer-Aided Design,
January 1991",
   MONTH = "January",
   YEAR = "1990"
}

@CONFERENCE{reddc,
   AUTHOR = "S. Devadas and H-K. Tony Ma and A. R. Newton",
   TITLE = "Redundancies and {D}on't {C}ares in {S}equential {L}ogic
{S}ynthesis",
   BOOKTITLE = "Journal of Electronic Testing: Theory and Applications",
   PAGES = "15-30",
   MONTH = "January",
   YEAR = "1990"
}

@CONFERENCE{mercer,
   AUTHOR = "C. T. Glover and M. R. Mercer",
   TITLE = "A {M}ethod of {D}elay {F}ault {T}est {G}eneration",
   BOOKTITLE = "Proceedings of the $25^{th}$ Design Automation Conference",
   MONTH = "June",
   YEAR = "1988",
   PAGES = "90-95"
}

@CONFERENCE{hayashi,
   AUTHOR = "T. Hayashi and K. Hatayama and K. Sato and T. Natabe",
   TITLE = "A {D}elay {T}est {G}enerator for {LSI} {L}ogic",
   BOOKTITLE = "Proceedings of the $14^{th}$ Fault Tolerant Computing
Symposium",
   MONTH = "June",
   YEAR = "1984",
   PAGES = "146-149"
}

@CONFERENCE{ regular-structures,
        author = { M. J. Bryan and S. Devadas and K. Keutzer},
        title = "{ Analysis and Design of Regular Structures for Robust
Dynamic Fault Testability}",
    booktitle = {Submitted to the Int'l Symposium on Circuits and Systems},
        month = {  October },
        year = { 1990 }
}

@CONFERENCE{ b-d-k-alg,
        author = { M. J. Bryan and S. Devadas and K. Keutzer},
        title = "{ Testability-Preserving Circuit Transformations}",
    booktitle = {Proceeedings of the Int'l Conference on Computer-Aided Design},
        month = {  November },
        year = { 1990 }
}

@CONFERENCE{ delay-syn,
        author = { S. Devadas and K. Keutzer},
        title = "Synthesis and {O}ptimization {P}rocedures for
{R}obustly {D}elay-{F}ault {T}estable {L}ogic {C}ircuits",
    booktitle = {Proceedings of the $27^{th}$ Design Automation Conference},
        pages = { 221-227 },
        month = {  June },
        year = { 1990 }
}

@CONFERENCE{ delay-nec-suf,
        author = { S. Devadas and K. Keutzer},
        title = "Necessary and {S}ufficient {C}onditions for {R}obust
{D}elay-{F}ault {T}estability of {L}ogic {C}ircuits",
        booktitle = {Sixth MIT Conference on Advanced Research on VLSI},
        pages = { 221-238 },
        month = {  April },
        year = { 1990 }
}

@inproceedings{ li-reddy-sahni,
    author = "  W-N  Li and S. M. Reddy and S. Sahni",
    title = "{On Path Selection in Combinational Logic Circuits}",
    booktitle = {IEEE Transactions on Computer-Aided Design},
    PAGES = "56-63",
    month = {January},
    year = {1989}
}

@inproceedings{ lin-reddy-patil,
    author = "  C.  Lin and S. M. Reddy and S. Patil",
    title = "An {A}utomatic {T}est {P}attern {G}enerator for the
{D}etection of {P}ath {D}elay {F}aults",
    booktitle = {Proceedings of the Int'l Conference on Computer-Aided
Design},
    PAGES = "284-287",
    year = {1987}
}

@inproceedings{kundu-reddy-ftcs,
    author = "  S. Kundu and S. M. Reddy",
    title = "On the {D}esign of {R}obust {T}estable {CMOS}
{C}ombinational {L}ogic {C}ircuits",
    booktitle = {Proceedings of the Fault Tolerant Computing Symposium},
   PAGES = "220-225",
    year = {1988}
}

@CONFERENCE{kundu-reddy-jha,
   AUTHOR = "S. Kundu and S. M. Reddy and N. K. Jha",
   TITLE = "On the {D}esign of {R}obust {M}ultiple {F}ault {T}estable
{CMOS} {C}ombinational {L}ogic {C}ircuits",
   BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided Design",
   MONTH = "November",
   YEAR = "1988",
   PAGES = "240-243"
}

@CONFERENCE{menon,
   AUTHOR = "Y. Levendel and P. R. Menon",
   TITLE = "Transition {F}aults in {C}ombinational {C}ircuits: {I}nput
{T}ransition {T}est {G}eneration and {F}ault {S}imulation",
   BOOKTITLE = "Proceedings of the $16^{th}$ Fault Tolerant Computing
Symposium",
   MONTH = "June",
   YEAR = "1985",
   PAGES = "278-283"
}

@CONFERENCE{mala1,
   AUTHOR = "C. C. Liaw and S. Y. Su and Y. K. Malaiya",
   TITLE = "Test {G}eneration for {D}elay {F}aults {U}sing the
{S}tuck-at {F}ault {T}est {S}et",
   BOOKTITLE = "Proceedings of the Int'l Test Conference",
   MONTH = "November",
   YEAR = "1980",
   PAGES = "167-175"
}

@CONFERENCE{mala2,
   AUTHOR = "Y. K. Malaiya and R. Narayanswamy",
   TITLE = "Testing for {T}iming {F}ailures in {S}ynchronous
{S}equential {I}ntegrated {C}ircuits",
   BOOKTITLE = "Proceedings of the Int'l Test Conference",
   MONTH = "October",
   YEAR = "1983",
   PAGES = "560-571"
}

@CONFERENCE{lin-reddy,
   AUTHOR = "C. J. Lin and S. M. Reddy",
   TITLE = "On {D}elay {F}ault {T}esting in {L}ogic {C}ircuits",
   BOOKTITLE = "IEEE Transactions on Computer-Aided Design",
   MONTH = "September",
   YEAR = "1987",
   PAGES = "694-703"
}

@CONFERENCE{rajski,
   AUTHOR = "J. Rajski and H. Cox",
   TITLE = "A {M}ethod of {T}est {G}eneration and {F}ault {D}iagnosis
in {V}ery {L}arge {C}ircuits",
   BOOKTITLE = "Proceedings of the Int'l Test Conference",
   MONTH = "September",
   YEAR = "1987",
   PAGES = "932-943"
}

@CONFERENCE{smith,
   AUTHOR = "G. L. Smith",
   TITLE = "A {M}odel for {D}elay {F}aults {B}ased on {P}aths",
   BOOKTITLE = "Proceedings of the Int'l Test Conference",
   MONTH = "September",
   YEAR = "1985",
   PAGES = "342-349"
}

@CONFERENCE{iyengar,
   AUTHOR = "J. A. Waicukauski and E. Lindbloom and B. Rosen and V. Iyengar",
   TITLE = "{T}ransition {F}ault {S}imulation by {P}arallel {P}attern
{S}ingle {F}ault {P}ropagation",
   BOOKTITLE = "Proceedings of the Int'l Test Conference",
   MONTH = "September",
   YEAR = "1986",
   PAGES = "542-549"
}

@CONFERENCE{glover,
   AUTHOR = "C. T. Glover and M. R. Mercer",
   TITLE = "A {D}eterministic {A}pproach to {A}djacency {T}esting for
{D}elay {F}aults",
   BOOKTITLE = "Proceedings of 26th Design Automation Conference",
   MONTH = "June",
   YEAR = "1989",
   PAGES = "351-356"
}

@CONFERENCE{roy-delay-fault,
   AUTHOR = "K. Roy and K. De and J. A. Abraham and S. Lusky",
   TITLE = "{S}ynthesis of {D}elay {F}ault {T}estable {C}ombinational
{L}ogic",
   BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided Design",
   MONTH = "November",
   YEAR = "1989",
   PAGES = "418-421"
}

@BOOK{booth-book,
   AUTHOR = "T. L. Booth",
   TITLE= "Sequential Machines and Automata Theory",
   PUBLISHER = "John Wiley and Sons",
   YEAR = "1967"
}

@BOOK{bre-book,
   AUTHOR = "M. A. Breuer and A. D. Friedman",
   TITLE= "Diagnosis and Reliable Design of Digital Systems",
   PUBLISHER = "Computer Science Press",
   YEAR = "1976",
   PAGES = "352-355"
}

@inproceedings{ maly,
    author = {  W. Maly },
    title = {Realistic Fault Modeling for {VLSI} Testing},
    booktitle = {  Proceedings of the $24^{th}$ Design Automation Conference
},
    pages = {  173-180 },
    month = { June },
    year = { 1987 }
}

@inproceedings{mcgeer-transforms,
    author = { P. McGeer and R. Brayton},
    title = "{The Satisfiability Don't Care Set and Invariant
Transformations in Multi-level Synthesis}",
    booktitle = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    month = {November},
    year = {1989}
}

@phdthesis{mcgeer-thesis,
    author = "P. McGeer",
    title = {On the interaction of functional and timing behavior of combinational
logic circuits},
    school = ucb,
    month = nov,
    year = 1989
}

@book{espresso-book,
    author = {R. Brayton and G. Hachtel and C. McMullen and  A.
Sangiovanni-Vincentelli},
    title = "Logic {M}inimization {A}lgorithms for {VLSI} {S}ynthesis",
    publisher = {Kluwer Academic Publishers},
    year = 1984
    }

@CONFERENCE{d-k-unify,
    AUTHOR = "S. Devadas and K. Keutzer",
    TITLE = " A Unified Approach to the Synthesis of Fully Testable
Sequential Machines",
    BOOKTITLE = "Proceedings of the $23^{rd}$ Hawaii Int'l Conference
on System Sciences",
    NOTE = "also to appear in IEEE Transactions on Computer-Aided
Design, January 1991",
    MONTH = "January",
    YEAR = "1990"
}

@CONFERENCE{d-k-bool,
    AUTHOR = "S. Devadas and K. Keutzer",
    TITLE = "{Boolean Minimization and Algebraic Factorization
Procedures for Fully Testable Sequential Machines}",
    PAGES = "208-211",
    BOOKTITLE = "Int'l Conference on Computer-Aided Design",
    MONTH = "November",
    YEAR = "1989"
}


@CONFERENCE{bryan-brglez-lisanke,
    AUTHOR = "D. Bryan and F. Brglez and R. Lisanke",
    TITLE = "Redundancy {I}dentification and {R}emoval",
    BOOKTITLE = "Proceedings of the Internanational Workshop on Logic
Synthesis",
    MONTH = "May",
    YEAR = "1989"
}

@CONFERENCE{mccl56,
    AUTHOR = "E. J. McCluskey",
    TITLE = "Minimization of Boolean Functions",
    BOOKTITLE = "Bell Lab. Technical Journal",
    PUBLISHER = "Bell Lab.",
    VOLUME = "35",
    PAGES = "1417-1444",
    MONTH = "November",
    YEAR = "1956"
}

@article{johnson-guide-85,
    author = "D. S. Johnson",
    title = "{The NP-Completeness Column: an Ongoing Guide}",
    journal = "Journal of Algorithms",
        volume = {6},
    pages = {291-305},
        year = { 1985 }
}

@book{ fujiwara-book,
    author = {  H. Fujiwara},
    title = {  Logic Testing and Design for Testability},
    publisher = {  MIT Press},
    year = { 1985 },
    address = {  Cambridge MA }
}

@article{bartlett-etal-implicit-dc,
    author = {K. Bartlett and et al.},
    title = {Multilevel logic minimization using implicit don't cares},
    journal = {IEEE Transactions on Computer-Aided Design of Integrate
              Circuits and Systems},
        volume = {  7},
        month = {  June },
        number = {  6 },
    pages = {723-740},
        year = { 1988 }
}

@unpublished{ reddy-private,
        author = {  S. M. Reddy },
        note = {  Personal Communication },
        month = { July },
        year = { 1990 }
}

@unpublished{ bill-lin,
        author = {  B. Lin },
        note = {  personal communication },
        year = { 1989 }
}

@unpublished{ gregory-rudell-non-flattened,
        author = {  D. Gregory and R. Rudell},
        note = {  personal communication },
        year = { 1989 }
}

@unpublished{ touati,
        author = {  H. Touati and Y. Watanabe},
        note = {  personal communication },
        year = { 1989 }
}

@unpublished{ rudell-perf-test,
        author = {  R. Rudell},
        note = {  personal communication },
        year = { 1989 }
}

@unpublished{ bohm-testing,
        author = {  M. Bohm},
        note = {  personal communication },
        year = { 1988 }
}

@unpublished{ morrison-testing,
        author = {  G. Hachtel and R. Jacoby and C. Morrison},
        title = {  Logic Optimization and Testability },
        note = {  unpublished manuscript },
        year = { 1988 }
}

@article{ kohavi-kohavi,
    author = {  I. Kohavi and Z. Kohavi},
    title =   "Detection of multiple faults in combinational logic networks",
    journal = {  IEEE Transactions on Computers},
    volume = {  C21 },
    month = {  June },
    number = {  6 },
    pages = {556-568},
    year = { 1972 }
}

@article{ podem,
    author = {  P. Goel},
    title =   "An {I}mplicit {E}numeration {A}lgorithm to {G}enerate {T}ests
for
{C}ombinational {L}ogic {C}ircuits",
    journal = {  IEEE Transactions on Computers},
    year = { 1981},
    volume = {  C30 },
    month = {  March },
    number = {  3 },
    pages = {215-222}
}

@article{ schertz-metze-design,
    author = {  D. Scherz and G. Metze},
    title =   "On the Design of Multiple Fault Diagnosable Networks",
    journal = {  IEEE Transactions on Computers},
    year = { 1971},
    volume = {  C20 },
    month = {  November },
    number = {  11 },
    pages = {1361-1364}
}

@article{ hayes-nand,
    author = {  John P. Hayes},
    title =   "A {NAND} Model for Fault Diagnosis in Combinational Logic
Networks",
    journal = {  IEEE Transactions on Computers},
    year = { 1971},
    volume = {  C20 },
    month = {  December },
    number = {  12 },
    pages = {1496-1505}
}

@article{ armstrong-minimal,
    author = {  D. B. Armstrong},
    title =   "On {F}inding a {N}early {M}inimal {S}et of {F}ault {D}etection
{T}ests for {C}ombinational {L}ogic {N}ets",
    journal = {  IEEE Transactions on Computers},
    year = { 1966},
    pages = {  66-73 },
    volume = {  EC-15 },
    month = {  February },
    number = {  2 }
}

@article{ hayes-minimal,
    author = {  John P. Hayes},
    title =   "{On Realizations of Boolean Functions Requiring a Minimal
or Near-Minimal Number of Tests}",
    journal = {  IEEE Transactions on Computers},
    year = { 1971},
    volume = {  C20 },
    month = {  December },
    number = {  12 }
}

@article{ brand-redund,
    author = {  Daniel Brand},
    title =   "Redundancy and Don't Cares in Logic Synthesis",
    journal = {  IEEE Transactions on Computers},
    year = { 1983},
    volume = {  C32 },
    month = {  October },
    number = {  10 }
}

@article{ schertz-metze,
    author = {  D. Scherz and G. Metze},
    title =   "A New Representation for Faults in Combinational
Digital Circuits",
    journal = {  IEEE Transactions on Computers},
    year = { 1972},
    volume = {  C21 },
    month = {  August },
    number = {  8 }
}

@article{ dandapani-74,
    author = {  R. Dandapani and S. Reddy},
    title =   "On the Design of Logic Networks with Redundancy and Testability
Considerations",
    journal = {  IEEE Transactions on Computers},
    year = { 1974 },
    volume = {  C23 },
    month = {  November },
    number = {  11 }
}

@article{ lee-redundancy,
    author = {  Hsia-Peng Lee and Edward Davidson},
    title =   "Redundancy Testing in Combinational Networks",
    journal = {  IEEE Transactions on Computers},
    year = { 1974 },
    volume = {  C23 },
    month = {  October },
    number = {  10 }
}

@article{ cause-effect-analysis},
    author = {  Douglas Bossen and  Se June Hong},
    title =   "Cause-Effect Analysis for Multiple Fault Detection in
Combinational Networks",
    journal = {  IEEE Transactions on Computers},
    year = { 1971 },
    volume = {  C20 },
    month = {  November },
    number = {  11 }
}

@inproceedings{ lssd,
    author = {  E. Eichelberger and T. W. Williams},
    title = "A logical design structure for LSI Testing",
    booktitle = {Proceedings of the 14th Design Automation Conference},
    pages = {  462-468 },
    month = {  June },
    year = {1977}
}

@inproceedings{ shulz-redund,
    author = {  Michael Schulz and Elisabeth Auth},
    title = "Advanced Automatic Test Pattern Generation and Redundancy
Identification Techniques",
    booktitle = {Proceedings of the Fault Tolerant Computing Symposium},
    year = {1988}
}

@article{ williams-parker,
    author = {   T. W. Williams and K. P. Parker},
    title =   "Design for testability- a survey",
    journal = {  IEEE Transactions on Computers},
    year = { 1982 },
    volume = {  C31 },
    month = {  January },
    number = {  1 },
    pages = {  2-15 },
    year = {1982}
}

@inproceedings{ miczo-limit,
    author = "  Alexander Miczo",
    title = "The Sequential {ATPG}: A Theoretical Limit",
    booktitle = {1983 International  Test Conference},
    pages = {  143-147},
    year = {1983}
}

@article{kundu-covering,
    author =   "S. Kundu",
    title =   "Design of {M}ultioutput {CMOS} {C}ombinational
{C}ircuits for {R}obust {T}estability",
    journal = {  IEEE Transactions on Computer-Aided Design},
    year = { 1989 },
    pages = {  1222-1226},
    volume = {  8 },
    month = {  November },
    number = {  11 }
}


@BOOK{roth-book,
    AUTHOR = "C. H. Roth",
    TITLE = "Fundamentals of Logic Design",
    PUBLISHER = "West Publishing Company",
    YEAR = "1979"
}

@CONFERENCE{rudell-phd,
    AUTHOR = "R. Rudell",
    TITLE = "Logic {S}ynthesis for {VLSI} {D}esign",
    BOOKTITLE = "U. C. Berkeley, ERL Memo 89/49",
    MONTH = "April",
    YEAR = "1989"
}

@CONFERENCE{anton-ms,
    AUTHOR = "A. Stoelzle",
    TITLE = "A {VLSI} {W}ordprocessing {S}ubsystem for a {R}eal {T}ime
{L}arge {V}ocabulary {C}ontinuous {S}peech {R}ecognition {S}ystem",
    BOOKTITLE = "MS Thesis",
    MONTH = "September",
    YEAR = "1989"
}

@BOOK{kohavi-book,
    AUTHOR = "Z. Kohavi",
    TITLE = "Switching and Finite Automata Theory",
    PUBLISHER = "Computer Science Press",
    YEAR = "1978"
}

@BOOK{pdp-book,
    AUTHOR = "D. P. Siewiorek and C. G. Bell and A. Newell",
    TITLE = "Computer Structures: Principles and Examples",
    PUBLISHER = "McGraw-Hill Book Company",
    YEAR = "1982"
}

@article{rabiner,
    author =  "B. H. Juang and L. R. Rabiner",
    title =  "An {I}ntroduction to {H}idden {M}arkov {M}odels",
    journal = {  IEEE ASSP Magazine},
    year = { 1986 },
    pages = {  14-16},
    month = {  January }
}

@MANUAL{federal-des,
    TITLE = "Data Encryption Standard",
    ORGANIZATION = "U. S. Department of Commerce, National Bureau of
Standards",
    MONTH = "January",
    YEAR = "1977",
    NOTE = "Federal Information Processing Standards Publication (FIPS PUB
46)"
}

@CONFERENCE{unix-des,
    AUTHOR = "R. Morris and K. Thompson",
    TITLE = "Password {S}ecurity: {A} {C}ase {H}istory",
    BOOKTITLE = "Unix Programmers Manual's Manual, Seventh Edition, Volume
2A",
    PUBLISHER = "Bell Laboratories",
    MONTH = "January",
    YEAR = "1979"
}

@CONFERENCE{cheng-agrawal-initialize,
    AUTHOR = "K-T. Cheng and V. D. Agrawal",
    TITLE = "State Assignment for Initializable Synthesis",
    BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    PAGES = "212-215",
    MONTH = "November",
    YEAR = "1989"
}

@CONFERENCE{cheng-agrawal-encode,
    AUTHOR = "K-T. Cheng and V. D. Agrawal",
    TITLE = "Design of {S}equential {M}achines for {E}fficient {T}est
{G}eneration",
    BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    PAGES = "358-361",
    MONTH = "November",
    YEAR = "1989"
}

@CONFERENCE{ghosh-rtl,
    AUTHOR = "A. Ghosh and S. Devadas and A. R. Newton",
    TITLE = "Sequential {T}est {G}eneration at the {R}egister
{T}ransfer and {L}ogic {L}evels",
    BOOKTITLE = "Proceedings of the $27^{th}$ Design Automation Conference",
    PAGES = "580-586",
    MONTH = "June",
    YEAR = "1990"
}

@CONFERENCE{seq-multi,
   AUTHOR = "P. Ashar and S. Devadas and A. R. Newton",
   TITLE = "Multiple {F}ault {T}estable {S}equential {M}achines",
   BOOKTITLE = "Proceedings of the Int'l Conference on Circuits and Systems",
   PAGES = "3118-3121",
   MONTH = "May",
   YEAR = "1989"
}

@CONFERENCE{tohma-fail-safe,
    AUTHOR = "Y. Tohma and Y. Ohyama and R. Zakai",
    TITLE = "Realization of {F}ail-{S}afe {S}equential {M}achines by
{U}sing a k-out-of-n {C}ode",
    BOOKTITLE = "IEEE Transactions on Computers",
    PAGES = "1270-1275",
    MONTH = "November",
    YEAR = "1971"
}

@CONFERENCE{sawin-fault-detection,
    AUTHOR = "D. W. Sawin and G. W. Makin and S. R. Groenig",
    TITLE = "Design of {A}synchronous {S}equential {M}achines for
{F}ault {D}etection",
    BOOKTITLE = "Proceedings of the 2nd Fault Tolerant Computing Symposium",
    PAGES = "170-175",
    MONTH = "June",
    YEAR = "1972"
}

@CONFERENCE{hachtel-multi-fault,
   AUTHOR = "G. D. Hachtel and R. M. Jacoby and K. Keutzer and C. R.
Morrison",
   TITLE= "On the {R}elationship {B}etween {A}rea {O}ptimization and
{M}ultifault {T}estabilty of {M}ultilevel {L}ogic",
    BOOKTITLE = "Int'l Conference on Computer-Aided Design",
   NOTE="(Extended version submitted to IEEE TCAD)",
   MONTH = "November",
    pages = {422-425},
   YEAR = "1989"
}

@CONFERENCE{kevin-decom,
   AUTHOR = "K. Lam and S. Devadas",
   TITLE= "Performance-Oriented Synthesis of Finite State Machines",
    BOOKTITLE = "Int'l Conference on Circuits and Systems",
   MONTH = "May",
   YEAR = "1990"
}

@inproceedings{ najm-statcur,
    author = "R. Burch and F. Najm and P. Yang and D. Hocevar",
    title = "Pattern-independent {C}urrent {E}stimation for
{R}eliability {A}nalysis of {CMOS} {C}ircuits",
    booktitle = {Proceedings of the 25th Design Automation Conference},
    pages = {  294-299},
    month = {June},
    year = {1988}
}

@BOOK{abramovici-breuer-friedman,
   AUTHOR = "M. Abramovici and M. A. Breuer and A. D. Friedman",
   TITLE= "Digital Systems Testing and Testable Design",
   PUBLISHER = "Computer Science Press",
   YEAR = "1990"
}

@CONFERENCE{pramanick-reddy-ftcs,
   AUTHOR = "A. Pramanick and S. Reddy",
   TITLE= "{On The Design of Path Delay Fault Testable Combinational
Circuits}",
   BOOKTITLE = "Proceedings of the $20^{th}$ Fault Tolerant Computing
Symposium",
    MONTH = "June",
   PAGES = "374-381",
   YEAR = "1990"
}

@CONFERENCE{pramanick-reddy-iscas,
   AUTHOR = "A. Pramanick and S. Reddy and S. Sengupta",
   TITLE= "Synthesis of {C}ombinational {L}ogic {C}ircuits for {P}ath
{D}elay {F}ault {T}estability",
   BOOKTITLE = "Int'l Symposium on Circuits and Systems",
   PAGES = "3105-3108",
    MONTH = "May",
   YEAR = "1990"
}

@inproceedings{ cones,
    author = {  C. E. Stroud and  R. R. Munoz and  D. A. Pierce },
    title = "C{ONES}: {A} {S}ystem {f}or {A}utomated {S}ynthesis of
{VLSI} and {P}rogrammable {L}ogic from {B}ehavioral {M}odels",
    booktitle = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    pages = {  428-431 },
    month = { November },
    year = { 1986 }
    }

@article{delay-theory,
        author = { S. Devadas and K. Keutzer},
        title = "Synthesis of {R}obust {D}elay-Fault {T}estable {C}ircuits:
{T}heory",
        journal = {IEEE Transactions on Computer-Aided Design of Integrate
                          Circuits and Systems},
        note = {To appear},
        MONTH = "September",
        year = { 1991 }
}

@article{delay-practice,
        author = { S. Devadas and K. Keutzer},
        title = "Synthesis of {R}obust {D}elay-Fault {T}estable {C}ircuits:
{P}ractice",
        journal = {IEEE Transactions on Computer-Aided Design of Integrate
                          Circuits and Systems},
        note = {To appear},
        MONTH = "October",
        year = { 1991 }
}


@inproceedings{ mcfarland-parker,
    author = "M. C. McFarland and A. C. Parker",
    title = "An {A}bstract {M}odel of {B}ehavior for {H}ardware
{D}escriptions",
    booktitle = {IEEE Transactions on Computers},
    pages = {621-636},
    month = {July},
    volume = { C-32},
    year = {1983}
}

@inproceedings{ clarke-tutorial,
    author = "E. M. Clarke and O. Grumberg",
    title = "Research on {A}utomatic {V}erification of {F}inite-{S}tate
{C}oncurrent {S}ystems",
    booktitle = {Annual Reviews of Computer Science},
    pages = {269-290},
    volume = { 2},
    year = {1987}
}

@inproceedings{ jha-abraham,
    author = "N. K. Jha and J. A. Abraham",
    title = "Design of {T}estable {CMOS} {L}ogic {C}ircuits {U}nder
{A}rbitrary {D}elays",
    booktitle = {IEEE Transactions on Computer-Aided Design},
    pages = {264-269},
    volume = {CAD-4},
    month = {July},
    year = {1985}
}

@inproceedings{ seth-kodandapani,
    author = "S. C. Seth and K. L. Kodandapani",
    title = "{Diagnosis of Faults in Linear Tree Networks}",
    booktitle = {IEEE Transactions on Computers},
    pages = {29-33},
    volume = {C-26},
    month = {January},
    year = {1977}
}

@inproceedings{ reddy-reddy-sopen,
    author = "S. M. Reddy and M. K. Reddy",
    title = "Testable {R}ealization for FET {S}tuck-{O}pen {F}aults in
{CMOS} {C}ombinational {L}ogic {C}ircuits",
    booktitle = {IEEE Transactions on Computers},
    pages = {742-754},
    volume = {C-35},
    month = {August},
    year = {1986}
}

@inproceedings{ reddy-reddy-kuhl,
    author = "S. M. Reddy and M. K. Reddy and J. G. Kuhl",
    title = "On {T}estable {D}esign for {CMOS} {L}ogic {C}ircuits",
    booktitle = {Proceedings of the Int'l Test Conference},
    pages = {435-455},
    month = {October},
    year = {1983}
}

@CONFERENCE{bull-verif,
   AUTHOR = "O. Coudert and C. Berthet and J. C. Madre",
   TITLE = "{Verification of Sequential Machines Using Boolean Functional
Vectors}",
   BOOKTITLE = "IMEC-IFIP Int'l Workshop on Applied Formal Methods for
Correct VLSI Design",
   PAGES = "111-128",
   MONTH = "November",
   YEAR = "1989"
}

@inproceedings{ rajski-multiple-fault,
    author = "H. Cox and J. Rajski",
    title = "{A Method of Fault Analysis for Test Generation on Fault
Diagnosis}",
    booktitle = {IEEE Transactions on Computer-Aided Design},
    pages = {813-833},
    volume = {7},
    month = {July},
    year = {1988}
}

@inproceedings{ maximum-current,
    author = "S. Chowdhury and J. S. Barkatullah",
    title = "{Estimation of Maximum Currents in MOS IC Logic Circuits}",
    booktitle = {IEEE Transactions on Computer-Aided Design},
    pages = {642-654},
    volume = {9},
    month = {June},
    year = {1990}
}

@inproceedings{ delay-defect-evaluation,
    author = "O. Bula and J. Moser and J. Trinko and M. Weismann and F.
Woytowich",
    title = "{Gross Delay Defect Evaluation for a CMOS Logic Design
System Product}",
    booktitle = {IBM Technical Memorandum},
    month = {May},
    year = {1989}
}


@CONFERENCE{ craig-phd,
        author = { G. L. Craig },
        title = "{Stuck-Open Fault Testability in Combinational Networks}",
    booktitle = {Ph.D thesis, University of Wisconsin at Madison},
        year = { 1987 }
}


@inproceedings{ keutzer-asics,
    author = {  K. Keutzer },
    title = "{Three Competing Design Methodologies for {\sc ASICS}:
Architectural Synthesis, Logic Synthesis and Module Generation}",
    booktitle = {  Proceedings of the $26^{th}$ Design Automation Conference
},
    pages = {  308-313 },
    publisher = {  ACM/IEEE },
    month = { June },
    year = { 1989 }
}


@unpublished{ mahjong,
    author = "H-K. T. Ma and R-S. Wei",
    title = "{ MAHJONG User's Manual}",
    note = {  University of California, Berkeley },
    year = { 1986 }
}

@unpublished{ hachtel-somenzi-private,
    author = "G. Hachtel and F. Somenzi",
    note = {  Personal Communication },
    year = { 1990 }
}

@inproceedings{ kim-newborn,
    author = "J. Kim and M. M. Newborn",
    title = "{The Simplification of Sequential Machines with Input
Restrictions}",
    booktitle = {IEEE Transactions on Computers},
    pages = {1440-1443},
    volume = {C-20},
    month = {December},
    year = {1972}
}

@CONFERENCE{delay-chips,
   AUTHOR = "S. Devadas and K. Keutzer",
   TITLE = "{Design of Integrated Circuits Fully Testable for Delay
Faults and Multifaults}",
   BOOKTITLE = "Proceedings of the Int'l Test Conference",
   PAGES = "284-293",
   MONTH = "October",
   YEAR = "1990"
}

@CONFERENCE{d-k-survey,
   AUTHOR = "S. Devadas and K. Keutzer",
   TITLE= "{Synthesis for Testability: A Brief Survey}",
   BOOKTITLE = "Int'l Symposium on Circuits and Systems",
    MONTH = "May",
   YEAR = "1990",
   PAGES="3097-3099"
}

@CONFERENCE{d-k-vnr,
   AUTHOR = "S. Devadas and K. Keutzer",
   TITLE= "{Validatable Nonrobust Delay-Fault Testable Circuits Via
Logic Synthesis}",
   BOOKTITLE = "Int'l Symposium on Circuits and Systems",
   PAGES = "3109-3113",
    MONTH = "May",
   YEAR = "1990"
}


@CONFERENCE{ghosh-rtl-syn,
    AUTHOR = "A. Ghosh and S. Devadas and A. R. Newton",
    TITLE = "Sequential {L}ogic {S}synthesis for {T}estability {U}sing
{R}egister-{T}ransfer-{L}evel {D}escriptions",
    BOOKTITLE = "Proceedings of the Int'l Test Conference",
    PAGES = "274-283",
    MONTH = "September",
    YEAR = "1990"
}

@CONFERENCE{lee-bdd,
    AUTHOR = "C. Y. Lee",
    TITLE = "{Representation of Switching Circuits by Binary Decision
Programs}",
    BOOKTITLE = "Bell System Technical Journal",
    PAGES = "985-999",
    VOLUME = "38",
    MONTH = "July",
    YEAR = "1959"
}

@CONFERENCE{rudell-bdd,
    AUTHOR = "K. S. Brace and R. L. Rudell and R. E. Bryant",
    TITLE = "{Efficient Implementation of a BDD Package}",
    BOOKTITLE = "Proc. of $27^{th}$ Design Automation Conference",
    PAGES = "40-45",
    MONTH = "June",
    YEAR = "1990"
}

@CONFERENCE{akers-bdd,
    AUTHOR = "S. B. Akers",
    TITLE = "{Binary Decision Diagrams}",
    BOOKTITLE = "IEEE Transactions on Computers",
    PAGES = "509-516",
    VOLUME = "C-27",
    MONTH = "June",
    YEAR = "1978"
}

@CONFERENCE{park-menon,
    AUTHOR = "B. Park and P. R. Menon",
    TITLE = "{Design of Scan-Testable CMOS Sequential Circuits}",
    BOOKTITLE = "Proc. of Int'l Test Conference",
    PAGES = "369-376",
    MONTH = "September",
    YEAR = "1990"
}

@CONFERENCE{mao-ciletti,
    AUTHOR = "W. Mao and M. Ciletti",
    TITLE = "{Arrangement of Latches in Scan-Path Design to Improve
Delay Fault Coverage}",
    BOOKTITLE = "Proc. of Int'l Test Conference",
    PAGES = "387-393",
    MONTH = "September",
    YEAR = "1990"
}

@CONFERENCE{touati-verif,
    AUTHOR = "H. Touati and H. Savoj and B. Lin and R. K. Brayton and
A. Sangiovanni-Vincentelli",
    TITLE = "{Implicit State Enumeration of Finite State Machines Using
BDD's}",
    BOOKTITLE = "Proc. of Int'l Conference on Computer-Aided Design",
    NOTE = "to appear",
    MONTH = "November",
    YEAR = "1990"
}

@CONFERENCE{hachtel-verif,
    AUTHOR = "H. Cho and G. Hachtel and S-W. Jeong and B. Plessier and
E. Schwarz and F. Somenzi",
    TITLE = "{ATPG Aspects of FSM Verification}",
    BOOKTITLE = "Proc. of Int'l Conference on Computer-Aided Design",
    NOTE = "to appear",
    MONTH = "November",
    YEAR = "1990"
}

@CONFERENCE{clarke-composition,
    AUTHOR = "E. M. Clarke and D. E. Long and K. L. McMillan",
    TITLE = "{Compositional Model Checking}",
    BOOKTITLE = "Proc. of Fourth IEEE Symposium on Logic in Computer Science",
    MONTH = "June",
    YEAR = "1989"
}

@CONFERENCE{sabnani-algo,
    AUTHOR = "K. K. Sabnani and A. M. Lapone and M. U. Uyar",
    TITLE = "{An Algorithmic Procedure for Checking Safety Properties
of Protocols}",
    BOOKTITLE = "IEEE Transactions on Communications",
    PAGES = "940-948",
    MONTH = "September",
    YEAR = "1989"
}

@CONFERENCE{hoare-csp,
    AUTHOR = "C. A. R. Hoare",
    TITLE = "{Communicating Sequential Processes}",
    BOOKTITLE = "Communications of the ACM",
    PAGES = "666-677",
    MONTH = "August",
    YEAR = "1978"
}

@CONFERENCE{higher-order,
    AUTHOR = "M. Gordon",
    TITLE = "{Hardware Verification by Formal Proof}",
    BOOKTITLE = "Technical Report No. 74, Computer Laboratory,
University of Cambridge, Cambridge, England",
    MONTH = "August",
    YEAR = "1985"
}

@CONFERENCE{mcgeer-viability,
    AUTHOR = "P. McGeer and R. Brayton",
    TITLE = "{Efficient Algorithms for Computing the Longest Viable
Path in a Combinational Network}",
    BOOKTITLE = "Proceedings of the $26^{th}$ Design Automation Conference",
    PAGES = "561-567",
    MONTH = "June",
    YEAR = "1990"
}

@CONFERENCE{spickelmier-newton,
    AUTHOR = "R. Spickelmier and A. R. Newton",
    TITLE = "{Connectivity Verification Using a Rule-Based Approach}",
    BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    PAGES = "190-192",
    MONTH = "November",
    YEAR = "1985"
}

@CONFERENCE{bamji-allen,
    AUTHOR = "C. Bamji and J. Allen",
    TITLE = "{GRASP: A Grammar-Based Schematic Parser}",
    BOOKTITLE = "Proceedings of the $26^{th}$ Design Automation Conference",
    PAGES = "448-453",
    MONTH = "June",
    YEAR = "1990"
}

@CONFERENCE{p-automata,
    AUTHOR = "S. Devadas and K. Keutzer",
    TITLE = "{An Automata-Theoretic Approach to Behavioral Equivalence}",
    BOOKTITLE = "Proceedings of the Int'l Conference on Computer-Aided
Design",
    MONTH = "November",
    YEAR = "1990"
}

@CONFERENCE{power-dissipation,
    AUTHOR = "S. Devadas and K. Keutzer and J. White",
    TITLE = "{Estimation of Power Dissipation in CMOS Combinational
Circuits}",
    BOOKTITLE = "Proceedings of the Custom Integrated Circuits Conference",
    PAGES = "19.7.1-19.7.6",
    MONTH = "May",
    YEAR = "1990"
}

@CONFERENCE{ saldanha-timing,
        author = { A. Saldanha and et al.},
        title = "Timing Optimization and Testability Considerations",
    booktitle = {the Int'l Conference on Computer-Aided Design},
        month = {  November },
        year = { 1990 }
}

@CONFERENCE{ saldanha-dac91,
    author = "A. Saldanha and T. Villa and R. K. Brayton and
        A. L. Sangiovanni-Vincentelli",
    title = "A Framework for Satisfying Input and Output Encoding Constraints",
    booktitle = "Proceedings of the $28^{th}$ Design Automation Conference",
    pages = "170-175",
        month = {  June },
        year = { 1991 }
}
@CONFERENCE{savir-delay,
    AUTHOR = "J. Savir and W. H.  Anney",
    TITLE = "Random Pattern Testability of Delay Faults",
    BOOKTITLE = "Proceedings of the International Test Conference",
    MONTH = "October",
    YEAR = "1986",
    PAGES = "263-273"
}

@inproceedings{mccluskey-transients,
   AUTHOR = "E. J.  McCluskey",
   TITLE= "Transients in Combinational Logic Circuits",
   booktitle =  "Redundancy Techniques for Computing Systems",
   editor = "R. H. Willson and W. C. Mann",
   PUBLISHER = "Spartan Books",
   YEAR = "1962",
   PAGES = "9-46"
}

@CONFERENCE{testing-verif-tutorial,
   AUTHOR = "S. Devadas and R. Newton and K. Keutzer",
   TITLE= "New Trends in Testing and Verification",
    BOOKTITLE = "Tutorial Notes: Int'l Conference on Computer-Aided Design",
   MONTH = "November",
   YEAR = "1989"
}


===========================================================================
--
----------------------------------------------------------------------------
Cheng Shi                        [e-mail]
Department of Electronics & Computer Science, University of Southampton,
England,  SO9 5NH                    Tel: [phone]