dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Robert K. Brayton Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
259Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSayak Ray, Alan Mishchenko, Niklas Eén, Robert K. Brayton, Stephen Jang, Chao Chen: Mapping into LUT structures. DATE 2012: 1579-1584
258Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSayak Ray, Robert K. Brayton: Scalable progress verification in credit-based flow-control systems. DATE 2012: 905-910
2011
257Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton, Stephen Jang, Victor N. Kravets: Delay optimization using SOP balancing. ICCAD 2011: 375-382
256Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu-Shen Yang, Subarna Sinha, Andreas G. Veneris, Robert K. Brayton: Automating Logic Transformations With Approximate SPFDs. IEEE Trans. on CAD of Integrated Circuits and Systems 30(5): 651-664 (2011)
255Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton, Jie-Hong R. Jiang, Stephen Jang: Scalable don't-care-based logic optimization and resynthesis. TRETS 4(4): 34 (2011)
2010
254Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton, Alan Mishchenko: ABC: An Academic Industrial-Strength Verification Tool. CAV 2010: 24-40
253Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamid Savoj, David Berthelot, Alan Mishchenko, Robert K. Brayton: Combinational techniques for sequential equivalence checking. FMCAD 2010: 145-149
252Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton, Stephen Jang: Global delay optimization using structural choices. FPGA 2010: 181-184
251Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton, Jason Cong: NSF Workshop on EDA: Past, Present, and Future (Part 1). IEEE Design & Test of Computers 27(2): 68-74 (2010)
250Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton, Jason Cong: NSF Workshop on EDA: Past, Present, and Future (Part 2). IEEE Design & Test of Computers 27(3): 62-74 (2010)
2009
249Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHari Mony, Jason Baumgartner, Alan Mishchenko, Robert K. Brayton: Speculative reduction-based scalable redundancy identification. DATE 2009: 1674-1679
248Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu-Shen Yang, Subarna Sinha, Andreas G. Veneris, Robert K. Brayton, Duncan Exon Smith: Sequential logic rectifications with approximate SPFDs. DATE 2009: 1698-1703
247Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Stephen Jang: Scalable don't-care-based logic optimization and resynthesis. FPGA 2009: 151-160
246Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Jang, Dennis Wu, Mark Jarvin, Billy Chan, Kevin Chung, Alan Mishchenko, Robert K. Brayton: SmartOpt: an industrial strength framework for logic synthesis. FPGA 2009: 237-240
2008
245Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron P. Hurst, Alan Mishchenko, Robert K. Brayton: Scalable min-register retiming under timing and initializability constraints. DAC 2008: 534-539
244Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton: Merging nodes under sequential observability. DAC 2008: 540-545
243Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton: Recording Synthesis History for Sequential Verification. FMCAD 2008: 1-8
242Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael L. Case, Alan Mishchenko, Robert K. Brayton, Jason Baumgartner, Hari Mony: Invariant-Strengthened Elimination of Dependent State Elements. FMCAD 2008: 1-9
241Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Michael L. Case, Robert K. Brayton, Stephen Jang: Scalable and scalably-verifiable sequential synthesis. ICCAD 2008: 234-241
240Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton, Satrajit Chatterjee: Boolean factoring and decomposition of logic networks. ICCAD 2008: 38-44
239Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan Mo, Robert K. Brayton: Placement based multiplier rewiring for cell-based designs. ICCAD 2008: 430-433
238Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Compositionally Progressive Solutions of Synchronous FSM Equations. Discrete Event Dynamic Systems 18(1): 51-89 (2008)
2007
237Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziano Villa, Svetlana Zharikova, Nina Yevtushenko, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A new algorithm for the largest compositionally progressive solution of synchronous language equations. ACM Great Lakes Symposium on VLSI 2007: 441-444
236Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu-Shen Yang, Subarnarekha Sinha, Andreas G. Veneris, Robert K. Brayton: Automating Logic Rectification by Approximate SPFDs. ASP-DAC 2007: 402-407
235Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann: On Resolution Proofs for Combinational Equivalence. DAC 2007: 600-605
234Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael L. Case, Alan Mishchenko, Robert K. Brayton: Automated Extraction of Inductive Invariants to Aid Model Checking. FMCAD 2007: 165-172
233Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron P. Hurst, Alan Mishchenko, Robert K. Brayton: Fast Minimum-Register Retiming via Binary Maximum-Flow. FMCAD 2007: 181-187
232Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Sungmin Cho, Satrajit Chatterjee, Robert K. Brayton: Combinational and sequential mapping with priority cuts. ICCAD 2007: 354-361
231Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan Mo, Robert K. Brayton: A simultaneous bus orientation and bused pin flipping algorithm. ICCAD 2007: 386-389
230Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan Mo, Robert K. Brayton: Semi-detailed bus routing with variation reduction. ISPD 2007: 143-150
229Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton: SAT-Based Complete Don't-Care Computation for Network Optimization CoRR abs/0710.4695: (2007)
228Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko: Efficient Solution of Language Equations Using Partitioned Representations CoRR abs/0710.4743: (2007)
227Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Satrajit Chatterjee, Robert K. Brayton: Improvements to Technology Mapping for LUT-Based FPGAs. IEEE Trans. on CAD of Integrated Circuits and Systems 26(2): 240-253 (2007)
2006
226Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin S. Zhang, Alan Mishchenko, Robert K. Brayton, Malgorzata Chrzanowska-Jeske: Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability. DAC 2006: 510-515
225Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Satrajit Chatterjee, Robert K. Brayton: DAG-aware AIG rewriting a fresh look at combinational logic synthesis. DAC 2006: 532-535
224Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Satrajit Chatterjee, Robert K. Brayton: Improvements to technology mapping for LUT-based FPGAs. FPGA 2006: 41-49
223Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatrajit Chatterjee, Alan Mishchenko, Robert K. Brayton: Factor cuts. ICCAD 2006: 143-150
222Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Satrajit Chatterjee, Robert K. Brayton, Niklas Eén: Improvements to combinational equivalence checking. ICCAD 2006: 836-843
221Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJie-Hong Roland Jiang, Robert K. Brayton: Retiming and Resynthesis: A Complexity Perspective. IEEE Trans. on CAD of Integrated Circuits and Systems 25(12): 2674-2686 (2006)
220Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Xinning Wang, Timothy Kam: Reducing Structural Bias in Technology Mapping. IEEE Trans. on CAD of Integrated Circuits and Systems 25(12): 2894-2903 (2006)
219Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Jin S. Zhang, Subarnarekha Sinha, Jerry R. Burch, Robert K. Brayton, Malgorzata Chrzanowska-Jeske: Using simulation and satisfiability to compute flexibilities in Boolean networks. IEEE Trans. on CAD of Integrated Circuits and Systems 25(5): 743-755 (2006)
218Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton: A theory of nondeterministic networks. IEEE Trans. on CAD of Integrated Circuits and Systems 25(6): 977-999 (2006)
2005
217Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYinghua Li, Alex Kondratyev, Robert K. Brayton: Gaining Predictability and Noise Immunity in Global Interconnects. ACSD 2005: 176-185
216Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton: SAT-Based Complete Don't-Care Computation for Network Optimization. DATE 2005: 412-417
215Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko: Efficient Solution of Language Equations Using Partitioned Representations. DATE 2005: 418-423
214no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYinghua Li, Alex Kondratyev, Robert K. Brayton: Synthesis methodology for built-in at-speed testing. ICCAD 2005: 183-188
213no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Xinning Wang, Timothy Kam: Reducing structural bias in technology mapping. ICCAD 2005: 519-526
2004
212Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJie-Hong Roland Jiang, Robert K. Brayton: Functional Dependency for Verification Reduction. CAV 2004: 268-280
211Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan Mo, Robert K. Brayton: A timing-driven module-based chip design flow. DAC 2004: 67-70
210Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton: On breakable cyclic definitions. ICCAD 2004: 411-418
209Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatrajit Chatterjee, Robert K. Brayton: A new incremental placement algorithm and its application to congestion-aware divisor extraction. ICCAD 2004: 541-548
208Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSunil P. Khatri, Subarnarekha Sinha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: SPFD-based wire removal in standard-cell and network-of-PLA circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 23(7): 1020-1030 (2004)
2003
207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunjian Jiang, Slobodan Matic, Robert K. Brayton: Generalized cofactoring for logic function evaluation. DAC 2003: 155-158
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton: Reducing Multi-Valued Algebraic Operations to Binary. DATE 2003: 10752-10757
205Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. DATE 2003: 11154-11155
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton: A Theory of Non-Deterministic Networks. ICCAD 2003: 709-717
203Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan Mo, Robert K. Brayton: Fishbone: a block-level placement and routing scheme. ISPD 2003: 204-209
202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVigyan Singhal, Carl Pixley, Adnan Aziz, Shaz Qadeer, Robert K. Brayton: Sequential optimization in the absence of global reset. ACM Trans. Design Autom. Electr. Syst. 8(2): 222-251 (2003)
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJie-Hong Roland Jiang, Robert K. Brayton: On the verification of sequential equivalence. IEEE Trans. on CAD of Integrated Circuits and Systems 22(6): 686-697 (2003)
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan Mo, Robert K. Brayton: PLA-based regular structures and their synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 22(6): 723-729 (2003)
2002
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Baleani, Frank Gennari, Yunjian Jiang, Yatish Patel, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform. CODES 2002: 151-156
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan Mo, Robert K. Brayton: River PLAs: a regular circuit structure. DAC 2002: 201-206
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunjian Jiang, Robert K. Brayton: Software synthesis from synchronous specifications using logic simulation techniques. DAC 2002: 319-324
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton: Using Problem Symmetry in Search Based Satisfiability Algorithms. DATE 2002: 134-141
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan Mo, Robert K. Brayton: Whirlpool PLAs: a regular logic structure and their synthesis. ICCAD 2002: 543-550
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton: Simplification of non-deterministic multi-valued networks. ICCAD 2002: 557-562
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubarnarekha Sinha, Alan Mishchenko, Robert K. Brayton: Topologically constrained logic synthesis. ICCAD 2002: 679-686
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton, M. Gao, Jie-Hong Roland Jiang, Yunjian Jiang, Yinghua Li, Alan Mishchenko, Subarnarekha Sinha, Tiziano Villa: Optimization of Multi-Valued Multi-Level Networks. ISMVL 2002: 168-
191no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubarnarekha Sinha, Alan Mishchenko, Robert K. Brayton: Topologically Constrained Logic Synthesis. IWLS 2002: 13-20
190no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton: A Boolean Paradigm in Multi-Valued Logic Synthesis. IWLS 2002: 173-177
189no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJie-Hong Roland Jiang, Robert K. Brayton: On the Verification of Sequential Equivalence. IWLS 2002: 307-314
188no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunjian Jiang, Robert K. Brayton: Don't Care Computation in Minimizing Extended Finite State Machines with Presburger Arithmetic. IWLS 2002: 327-332
187no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mishchenko, Robert K. Brayton: Simplification of Non-Deterministic Multi-Valued Networks. IWLS 2002: 333-338
186no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton: Reducing Multi-Valued Algebraic Operations to Binary. IWLS 2002: 339-344
185no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. IWLS 2002: 45-50
184no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan Mo, Robert K. Brayton: Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design. IWLS 2002: 7-12
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Formula-Dependent Equivalence for Compositional CTL Model Checking. Formal Methods in System Design 21(2): 193-224 (2002)
2001
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunjian Jiang, Robert K. Brayton: Logic optimization and code generation for embedded control applications. CODES 2001: 225-229
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton: Using SAT for combinational equivalence checking. DATE 2001: 114-121
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Solution of Parallel Language Equations for Logic Synthesis. ICCAD 2001: 103-
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan Mo, Abdallah Tabbara, Robert K. Brayton: A Force-Directed Maze Router. ICCAD 2001: 404-407
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton: Compatible Observability Don't Cares Revisited. ICCAD 2001: 618-
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubarnarekha Sinha, Andreas Kuehlmann, Robert K. Brayton: Sequential SPFDs. ICCAD 2001: 84-90
176no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan Mo, Abdallah Tabbara, Robert K. Brayton: A Timing-Driven Macro-Cell Placement Algorithm. ICCD 2001: 322-327
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Partial-Order Reduction in Symbolic State-Space Exploration. Formal Methods in System Design 18(2): 97-116 (2001)
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton: Theory of safe replacements for sequential circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 20(2): 249-265 (2001)
2000
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk-Jan Jongeneel, Yosinori Watanabe, Robert K. Brayton, Ralph H. J. M. Otten: Area and search space control for technology mapping. DAC 2000: 86-91
172no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan Mo, Abdallah Tabbara, Robert K. Brayton: A Force-Directed Macro-Cell Placer. ICCAD 2000: 177-180
171no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Cross-Talk Immune VLSI Design Using a Network of PLAs Embedded in a Regular Layout Fabric. ICCAD 2000: 412-418
170no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunjian Jiang, Robert K. Brayton: Don't Cares and Multi-Valued Logic Network Minimization. ICCAD 2000: 520-525
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubarnarekha Sinha, Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks. ICCD 2000: 494-503
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton: Model-checking continous-time Markov chains. ACM Trans. Comput. Log. 1(1): 162-170 (2000)
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton: Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks. Formal Methods in System Design 17(2): 107-134 (2000)
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Sequential synthesis using S1S. IEEE Trans. on CAD of Integrated Circuits and Systems 19(10): 1149-1162 (2000)
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Negative thinking in branch-and-bound: the case of unate covering. IEEE Trans. on CAD of Integrated Circuits and Systems 19(3): 281-294 (2000)
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph H. J. M. Otten, Robert K. Brayton: Performance planning. Integration 29(1): 1-24 (2000)
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdallah Tabbara, Bassam Tabbara, Robert K. Brayton, A. Richard Newton: Integration of retiming with architectural floorplanning. Integration 29(1): 25-43 (2000)
1999
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSunil P. Khatri, Amit Mehrotra, Robert K. Brayton, Ralph H. J. M. Otten, Alberto L. Sangiovanni-Vincentelli: A Novel VLSI Layout Fabric for Deep Sub-Micron Applications. DAC 1999: 491-496
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdallah Tabbara, Robert K. Brayton, A. Richard Newton: Retiming for DSM with Area-Delay Trade-Offs and Delay Constraints. DAC 1999: 725-730
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton: Using Combinational Verification for Sequential Circuits. DATE 1999: 138-144
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuji Kukimoto, Robert K. Brayton: Timing-safe false path removal for combinational modules. ICCAD 1999: 544-550
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Kuehlmann, Kenneth L. McMillan, Robert K. Brayton: Probabilistic state space search. ICCAD 1999: 574-579
157no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems. VLSI 1999: 346-361
156no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton, Sunil P. Khatri: Multi-Valued Logic Synthesis. VLSI Design 1999: 196-105
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Sequential Multi-Valued Network Simplification using Redundancy Removal. VLSI Design 1999: 206-211
1998
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhongcheng Li, Yinghua Min, Robert K. Brayton: A New Low-Cost Method for Identifying Untestable Path Delay Faults. Asian Test Symposium 1998: 76-81
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGurmeet Singh Manku, Ramin Hojati, Robert K. Brayton: Structural Symmetry and Model Checking. CAV 1998: 159-171
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdrian J. Isles, Ramin Hojati, Robert K. Brayton: Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory. CAV 1998: 256-267
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph H. J. M. Otten, Robert K. Brayton: Planning for Performance. DAC 1998: 122-127
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuji Kukimoto, Robert K. Brayton, Prashant Sawkar: Delay-Optimal Technology Mapping by DAG Covering. DAC 1998: 348-351
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuji Kukimoto, Robert K. Brayton: Hierarchical Functional Timing Analysis. DAC 1998: 580-585
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvguenii I. Goldberg, Yuji Kukimoto, Robert K. Brayton: Combinational Verification based on High-Level Functional Specifications. DATE 1998: 803-808
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubarnarekha Sinha, Robert K. Brayton: Implementation and use of SPFDs in optimizing Boolean networks. ICCAD 1998: 103-110
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilsin Gosti, Amit Narayan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Wireplanning in logic synthesis. ICCAD 1998: 26-33
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton: On the optimization power of retiming and resynthesis transformations. ICCAD 1998: 402-407
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGitanjali Swamy, Stephen A. Edwards, Robert K. Brayton: Efficient Verification and Synthesis using Design Commonalities. VLSI Design 1998: 542-551
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Theory and algorithms for face hypercube embedding. IEEE Trans. on CAD of Integrated Circuits and Systems 17(6): 472-488 (1998)
1997
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerdar Tasiran, Robert K. Brayton: STARI: A Case Study in Compositional and Hierarchical Timing Verification. CAV 1997: 191-201
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Partial-Order Reduction in Symbolic State Space Exploration. CAV 1997: 340-351
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuji Kukimoto, Robert K. Brayton: Exact Required Time Analysis via False Path Detection. DAC 1997: 220-225
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuji Kukimoto, Wilsin Gosti, Alexander Saldanha, Robert K. Brayton: Approximate timing analysis of combinational circuits under the XBD0 model. ICCAD 1997: 176-181
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli: Sequential optimisation without state space exploration. ICCAD 1997: 208-215
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A fast and robust exact algorithm for face embedding. ICCAD 1997: 296-303
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Reachability analysis using partitioned-ROBDDs. ICCAD 1997: 388-393
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Negative thinking by incremental problem solving: application to unate covering. ICCAD 1997: 91-98
134no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev K. Ranjan, Wilsin Gosti, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions. ICCD 1997: 344-351
133no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhongcheng Li, Yuhong Zhao, Yinghua Min, Robert K. Brayton: Timed Binary Decision Diagrams. ICCD 1997: 352-357
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhongcheng Li, Robert K. Brayton, Yinghua Min: Efficient Identification of Non-Robustly Untestable Path Delay Faults. ITC 1997: 992-997
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Theory and algorithms for state minimization of nondeterministic FSMs. IEEE Trans. on CAD of Integrated Circuits and Systems 16(11): 1311-1322 (1997)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Implicit computation of compatible sets for state minimization of ISFSMs. IEEE Trans. on CAD of Integrated Circuits and Systems 16(7): 657-676 (1997)
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Explicit and implicit algorithms for binate covering problems. IEEE Trans. on CAD of Integrated Circuits and Systems 16(7): 677-691 (1997)
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziano Villa, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Symbolic two-level minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 16(7): 692-708 (1997)
1996
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton: Verifying Continuous Time Markov Chains. CAV 1996: 269-276
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa: VIS: A System for Verification and Synthesis. CAV 1996: 428-432
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton: Verifying Abstractions of Timed Systems. CONCUR 1996: 546-562
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSunil P. Khatri, Amit Narayan, Sriram C. Krishnan, Kenneth L. McMillan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Engineering Change in a Non-Deterministic FSM Setting. DAC 1996: 451-456
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJagesh V. Sanghavi, Rajeev K. Ranjan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: High Performance BDD Package By Exploiting Memory Hiercharchy. DAC 1996: 635-640
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Hojati, Adrian J. Isles, Desmond Kirkpatrick, Robert K. Brayton: Verification Using Uninterpreted Functions and Finite Instantiations. FMCAD 1996: 218-232
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa: VIS. FMCAD 1996: 248-256
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJawahar Jain, Amit Narayan, C. Coelho, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Masahiro Fujita: Decomposition Techniques for Efficient ROBDD Construction. FMCAD 1996: 419-434
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVigyan Singhal, Sharad Malik, Robert K. Brayton: The case for retiming with explicit reset circuitry. ICCAD 1996: 618-625
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Hojati, Sriram C. Krishnan, Robert K. Brayton: Early Quantification and Partitioned Transition Relations. ICCD 1996: 12-19
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev K. Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Binary decision diagrams on network of workstation. ICCD 1996: 358-364
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaz Qadeer, Robert K. Brayton, Vigyan Singhal: Latch Redundancy Removal Without Global Reset. ICCD 1996: 432-439
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmit Narayan, Sunil P. Khatri, Jawahar Jain, Masahiro Fujita, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A study of composition schemes for mixed apply/compose based construction of ROBDDs. VLSI Design 1996: 249-253
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYosinori Watanabe, Lisa M. Guerra, Robert K. Brayton: Permissible functions for multioutput components in combinational logic optimization. IEEE Trans. on CAD of Integrated Circuits and Systems 15(7): 732-744 (1996)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Valid clock frequencies and their computation in wavepipelined circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 15(7): 791-807 (1996)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Combinational test generation using satisfiability. IEEE Trans. on CAD of Integrated Circuits and Systems 15(9): 1167-1176 (1996)
1995
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya: The Rabin Index and Chain Automata, with Applications to Automatas and Games. CAV 1995: 253-266
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Felice Balarin, Robert K. Brayton, M. D. DiBenedetto, Alexander Saldanha: Supervisory Control of Finite State Machines. CAV 1995: 279-292
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Hojati, Robert K. Brayton: Automatic Datapath Abstraction In Hardware Systems. CAV 1995: 98-113
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerdar Tasiran, Ramin Hojati, Robert K. Brayton: Language containment of non-deterministic omega-automata. CHARME 1995: 261-277
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVigyan Singhal, Carl Pixley, Richard L. Rudell, Robert K. Brayton: The Validity of Retiming Sequential Circuits. DAC 1995: 316-321
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton: Exploiting power-up delay for sequential optimization. EURO-DAC 1995: 54-59
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Sequential synthesis using S1S. ICCAD 1995: 612-617
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuey-Yih Wang, Robert K. Brayton: Multi-level logic optimization of FSM networks. ICCAD 1995: 728-735
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Implicit state minimization of non-deterministic FSMs. ICCD 1995: 250-257
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGitanjali Swamy, Robert K. Brayton, Vigyan Singhal: Incremental methods for FSM traversal. ICCD 1995: 590-
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVigyan Singhal, Robert K. Brayton, Carl Pixley: Power-Up Delay for Retiming Digital Circuits. ISCAS 1995: 566-569
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram C. Krishnan, Anuj Puri, Robert K. Brayton: Structural Complexity of Omega-Automata. STACS 1995: 143-156
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Functional clock schedule optimization. VLSI Design 1995: 93-98
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Hojati, Robert K. Brayton: An Environment for Formal Verification Based on Symbolic Computations. Formal Methods in System Design 6(2): 191-216 (1995)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Delay fault coverage, test set size, and performance trade-offs. IEEE Trans. on CAD of Integrated Circuits and Systems 14(1): 32-44 (1995)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: An efficient heuristic procedure for solving the state assignment problem for event-based specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 14(1): 45-60 (1995)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton, Ellen M. Sentovich: Network Hierarchies and Node Minimization. IEICE Transactions 78-D(3): 199-208 (1995)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé J. Touati, Robert K. Brayton, Robert P. Kurshan: Testing Language Containment for omega-Automata Using BDD's Inf. Comput. 118(1): 101-109 (1995)
1994
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Robert K. Brayton: Criteria for the Simple Path Property in Timed Automata. CAV 1994: 27-40
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton: Improving Language Containment Using Fairness Graphs. CAV 1994: 391-403
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Exact Minimum Cycle Times for Finite State Machines. DAC 1994: 100-105
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton: Heuristic Minimization of BDDs Using Don't Cares. DAC 1994: 225-231
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Serdar Tasiran, Robert K. Brayton: BDD Variable Ordering for Interacting Finite State Machines. DAC 1994: 283-288
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Optimum Functional Decomposition Using Encoding. DAC 1994: 408-414
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Heather Harkness, Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Performance Optimization Using Exact Sensitization. DAC 1994: 425-429
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: HSIS: A BDD-Based Environment for Formal Verification. DAC 1994: 454-459
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuey-Yih Wang, Robert K. Brayton: Permissible Observability Relations in FSM Networks. DAC 1994: 677-683
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A Fully Implicit Algorithm for Exact State Minimization. DAC 1994: 684-690
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYosinori Watanabe, Robert K. Brayton: State Minimization of Pseudo Non-Deterministic FSM's. EDAC-ETC-EUROASIC 1994: 184-191
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Equivalences for Fair Kripke Structures. ICALP 1994: 364-375
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton: Multi-level synthesis for safe replaceability. ICCAD 1994: 442-449
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGitanjali Swamy, Robert K. Brayton: Incremental formal design verification. ICCAD 1994: 458-465
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuji Kukimoto, Masahiro Fujita, Robert K. Brayton: A redesign technique for combinational circuits based on gate reconnections. ICCAD 1994: 632-637
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEllen Sentovich, Robert K. Brayton: An Exact Optimization of Two-Level Acyclic Sequential Circuits. ICCD 1994: 242-249
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Vigyan Singhal, Gitanjali Swamy, Robert K. Brayton: Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment. ICCD 1994: 255-261
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram C. Krishnan, Anuj Puri, Robert K. Brayton: Deterministic w Automata vis-a-vis Deterministic Buchi Automata. ISAAC 1994: 378-386
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Satisfaction of input and output encoding constraints. IEEE Trans. on CAD of Integrated Circuits and Systems 13(5): 589-602 (1994)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Circuit structure relations to redundancy and delay. IEEE Trans. on CAD of Integrated Circuits and Systems 13(7): 875-883 (1994)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCho W. Moon, Paul R. Stephan, Robert K. Brayton: Specification, synthesis, and verification of hazard-free asynchronous circuits. VLSI Signal Processing 7(1-2): 85-100 (1994)
1993
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton: Logic Synthesis and Design Verification. CAV 1993: 1-2
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Robert K. Brayton: Alternating RQ Timed Automata. CAV 1993: 237-252
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Hojati, Robert K. Brayton, Robert P. Kurshan: BDD-Based Debugging Of Design Using Language Containment and Fair CTL. CAV 1993: 41-58
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions. DAC 1993: 128-134
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Sequential Synthesis for Table Look Up Programmable Gate Arrays. DAC 1993: 224-229
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYusuke Matsunaga, Patrick C. McGeer, Robert K. Brayton: On Computing the Transitive Closure of a State Transition Relation. DAC 1993: 260-265
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Delay Fault Coverage and Performance Tradeoffs. DAC 1993: 446-452
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan: A Unified Approach to Language Containment and Fair CTL Model Checking. DAC 1993: 475-481
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Resynthesis of Multi-Phase Pipelines. DAC 1993: 490-496
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Espresso-Signature: A New Exact Minimizer for Logic Functions. DAC 1993: 618-624
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCho W. Moon, Robert K. Brayton: Elimination of Dynamic hazards by Factoring. DAC 1993: 7-13
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Cube-packing and two-level minimization. ICCAD 1993: 115-122
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Minimum padding to satisfy short path constraints. ICCAD 1993: 156-161
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYosinori Watanabe, Robert K. Brayton: The maximum set of permissible behaviors for FSM networks. ICCAD 1993: 316-320
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuey-Yih Wang, Robert K. Brayton: Input don't care sequences in FSM networks. ICCAD 1993: 321-328
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYosinori Watanabe, Lisa M. Guerra, Robert K. Brayton: Logic Optimization with Multi-Output Gates. ICCD 1993: 416-420
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVigyan Singhal, Yosinori Watanabe, Robert K. Brayton: Heuristic Minimization of Synchronous Relations. ICCD 1993: 428-433
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul R. Stephan, Robert K. Brayton: Physically Realizable Gate Models. ICCD 1993: 442-445
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Some Results on the Complexity of Boolean Functions for Table Look Up Architectures. ICCD 1993: 505-512
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Minimization of Logic Functions Using Essential Signature Sets. VLSI Design 1993: 323-328
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Two-Level Minimization of Multivalued Functions with Large Offsets. IEEE Trans. Computers 42(11): 1325-1342 (1993)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: ESPRESSO-SIGNATURE: a new exact minimizer for logic functions. IEEE Trans. VLSI Syst. 1(4): 432-440 (1993)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé J. Touati, Robert K. Brayton: Computing the initial states of retimed circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 12(1): 157-162 (1993)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYosinori Watanabe, Robert K. Brayton: Heuristic minimization of multiple-valued relations. IEEE Trans. on CAD of Integrated Circuits and Systems 12(10): 1458-1472 (1993)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Performance optimization of pipelined logic circuits using peripheral retiming and resynthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 12(5): 568-578 (1993)
1992
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton: Automatic Reduction in CTL Compositional Model Checking. CAV 1992: 234-247
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton: Efficient omega-Regular Language Containment. CAV 1992: 396-409
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation. DAC 1992: 173-176
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Circuit Structure Relations to Redundancy and Delay: The KMS Algorithm Revisited. DAC 1992: 245-248
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: An Improved Synthesis Algorithm for Multiplexor-Based PGA's. DAC 1992: 380-386
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarendra V. Shenoy, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: On the Temporal Equivalence of Sequential Circuits. DAC 1992: 405-409
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Solving the State Assignment Problem for Signal Transition Graphs. DAC 1992: 568-572
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Graph algorithms for clock schedule optimization. ICCAD 1992: 132-136
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton: Automatic compositional minimization in CTL model checking. ICCAD 1992: 172-178
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Valid clocking in wavepipelined circuits. ICCAD 1992: 518-525
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEllen Sentovich, Kanwar Jit Singh, Cho W. Moon, Hamid Savoj, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Sequential Circuit Design Using Synthesis and Optimization. ICCD 1992: 328-333
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam K. C. Lam, Robert K. Brayton: On Relationship Between ITE and BDD. ICCD 1992: 448-451
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul T. Gutwin, Patrick C. McGeer, Robert K. Brayton: Delay Prediction for Technology-Independent Logic Equations. ICCD 1992: 468-471
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Luciano Lavagno, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Symbolic minimization of multilevel logic and the input encoding problem. IEEE Trans. on CAD of Integrated Circuits and Systems 11(7): 825-843 (1992)
1991
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A Framework for Satisfying Input and Output Encoding Constraints. DAC 1991: 170-175
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYosinori Watanabe, Robert K. Brayton: Heuristic Minimazation of Multiple-Valued Relations. ICCAD 1991: 126-129
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Alexander Saldanha, Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions. ICCAD 1991: 180-183
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sartaj Sahni: Performance Enhancement through the Generalized Bypass Transform. ICCAD 1991: 184-187
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé J. Touati, Hamid Savoj, Robert K. Brayton: Delay Optimization of Combinational Logic Circuits By Clustering and Partial Collapsing. ICCAD 1991: 188-191
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCho W. Moon, Paul R. Stephan, Robert K. Brayton: Synthesis of Hazard-Free Asynchronous Circuits from Graphical Specifications. ICCAD 1991: 322-325
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamid Savoj, Robert K. Brayton, Hervé J. Touati: Extracting Local Don't Cares for Network Optimization. ICCAD 1991: 514-517
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamid Savoj, Robert K. Brayton: Observability Relations and Observability Don't Cares. ICCAD 1991: 518-521
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Improved Logic Synthesis Algorithms for Table Look Up Architectures. ICCAD 1991: 564-567
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Performance Directed Synthesis for Table Look Up Programmable Gate Arrays. ICCAD 1991: 572-575
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: On Clustering for Minimum Delay/Area. ICCAD 1991: 6-9
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYosinori Watanabe, Robert K. Brayton: Incremental Synthesis for Engineering Changes. ICCD 1991: 40-43
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul A. Malik, David Harrison, Robert K. Brayton: Three-Level Decomposition with Application to PLDs. ICCD 1991: 628-633
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Retiming of Circuits with Single Phase Transparent Latches. ICCD 1991: 86-89
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEllen Sentovich, Robert K. Brayton: Preserving Don't Care Conditions During Retiming. VLSI 1991: 461-470
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Ellen M. Sentovich, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Retiming and resynthesis: optimizing sequential networks with combinational techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 10(1): 74-84 (1991)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Reduced offsets for minimization of binary-valued functions. IEEE Trans. on CAD of Integrated Circuits and Systems 10(4): 413-426 (1991)
1990
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Robert K. Brayton: Timing Analysis in Precharge/Unate Networks. DAC 1990: 124-129
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Reduced Offsets for Two-Level Multi-Valued Logic Minimization. DAC 1990: 290-296
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamid Savoj, Robert K. Brayton: The Use of Observability and External Don't Cares for the Simplification of Multi-Level Networks. DAC 1990: 297-301
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Murgai, Yoshihito Nishizaki, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Logic Synthesis for Programmable Gate Arrays. DAC 1990: 620-625
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Implicit State Enumeration of Finite State Machines Using BDDs. ICCAD 1990: 130-133
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharad Malik, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Performance Optimization of Pipelined Circuits. ICCAD 1990: 410-413
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Kwang-Ting Cheng: Timing Optimization with Testability Considerations. ICCAD 1990: 460-463
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Lavagno, Sharad Malik, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: MIS-MV: Optimization of Multi-Level Logic with Multiple-Valued Inputs. ICCAD 1990: 560-563
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArvind Srinivasan, Timothy Kam, Sharad Malik, Robert K. Brayton: Algorithms for Discrete Function Manipulation. ICCAD 1990: 92-95
1989
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Robert K. Brayton: Efficient Prime Factorization of Logic Expressions. DAC 1989: 221-225
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Saldanha, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Multi-level Logic Simplification Using Don't Cares and Filters. DAC 1989: 277-282
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick C. McGeer, Robert K. Brayton: Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network. DAC 1989: 561-567
1988
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaren A. Bartlett, Robert K. Brayton, Gary D. Hachtel, Reily M. Jacoby, Christopher R. Morrison, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang: Multi-level logic minimization using implicit don't cares. IEEE Trans. on CAD of Integrated Circuits and Systems 7(6): 723-740 (1988)
1987
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert K. Brayton, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang: MIS: A Multiple-Level Logic Optimization System. IEEE Trans. on CAD of Integrated Circuits and Systems 6(6): 1062-1081 (1987)
1986
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni De Micheli, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Correction to "Optimal State Assignment for Finite State Machines". IEEE Trans. on CAD of Integrated Circuits and Systems 5(1): 239 (1986)
1985
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni De Micheli, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Optimal State Assignment for Finite State Machines. IEEE Trans. on CAD of Integrated Circuits and Systems 4(3): 269-285 (1985)

Coauthor Index

1Rajeev Alur [125] [141] [175]
2Adnan Aziz [77] [81] [82] [86] [89] [105] [106] [110] [121] [126] [127] [138] [166] [168] [174] [183] [202]
3Felice Balarin [82] [86] [105] [110] [166]
4Massimo Baleani [199]
5Karen A. Bartlett [4]
6Jason Baumgartner [242] [249]
7David Berthelot [253]
8Jerry R. Burch [219]
9Gianpiero Cabodi [167]
10Paolo Camurati [167]
11Luca P. Carloni [135] [157] [165]
12Michael L. Case [234] [241] [242] [244]
13Billy Chan [246]
14Satrajit Chatterjee [209] [213] [220] [222] [223] [224] [225] [227] [232] [235] [240]
15Chao Chen [259]
16Kwang-Ting Cheng (Kwang-Ting (Tim) Cheng) [10]
17Szu-Tsung Cheng [86] [121] [126]
18Massimiliano Chiodo [39] [47]
19Sungmin Cho [232]
20Malgorzata Chrzanowska-Jeske [219] [226]
21Kevin Chung [246]
22C. Coelho [120]
23Jason Cong [250] [251]
24M. D. DiBenedetto [110]
25Stephen A. Edwards [121] [126] [144]
26Niklas Eén [222] [259]
27Masahiro Fujita [79] [115] [120]
28M. Gao [192]
29Frank Gennari [199]
30Eugene Goldberg (Evguenii I. Goldberg) [135] [137] [143] [148] [157] [165] [181] [196]
31Wilsin Gosti [134] [139] [146]
32Lisa M. Guerra [57] [114]
33Paul T. Gutwin [35]
34Gary D. Hachtel [4] [121] [126]
35Heather Harkness [87]
36David Harrison [21]
37Thomas A. Henzinger [141] [175]
38Ramin Hojati [46] [65] [70] [86] [90] [92] [98] [108] [109] [118] [122] [152] [153]
39Aaron P. Hurst [233] [245]
40Adrian J. Isles [122] [136] [152]
41Reily M. Jacoby [4]
42Jawahar Jain [115] [120] [136]
43Stephen Jang [241] [246] [247] [252] [255] [257] [259]
44Mark Jarvin [246]
45Jie-Hong Roland Jiang (Jie-Hong R. Jiang) [186] [189] [192] [201] [206] [210] [212] [215] [221] [228] [247] [255]
46Yunjian Jiang [170] [182] [188] [192] [197] [199] [207]
47Dirk-Jan Jongeneel [173]
48Timothy Kam [8] [84] [86] [103] [129] [130] [131] [213] [220]
49Sunil P. Khatri [115] [120] [121] [124] [126] [155] [156] [162] [169] [171] [208]
50Desmond Kirkpatrick [122]
51Alex Kondratyev [214] [217]
52Victor N. Kravets [244] [257]
53Sriram C. Krishnan [76] [86] [100] [111] [118] [124]
54Andreas Kuehlmann [158] [177] [235]
55Yuji Kukimoto [79] [121] [126] [139] [140] [148] [149] [150] [159]
56Robert P. Kurshan [46] [65] [70] [94] [125]
57William K. C. Lam [36] [38] [66] [69] [71] [91] [93] [97] [113]
58Luciano Lavagno [9] [34] [41] [96] [167]
59Yinghua Li [192] [214] [217]
60Zhongcheng Li [132] [133] [154]
61Bill Lin [12]
62Abdul A. Malik [15] [17] [21] [52]
63Sharad Malik [8] [9] [11] [18] [34] [48] [119]
64Gurmeet Singh Manku [153]
65Slobodan Matic [207]
66Yusuke Matsunaga [67]
67Patrick C. McGeer [5] [7] [16] [30] [31] [35] [51] [53] [63] [67] [87]
68Kenneth L. McMillan [124] [158]
69Amit Mehrotra [138] [162]
70Giovanni De Micheli [1] [2]
71Yinghua Min [132] [133] [154]
72Alan Mishchenko [186] [187] [190] [191] [192] [193] [194] [204] [206] [210] [213] [215] [216] [218] [219] [220] [222] [223] [224] [225] [226] [227] [228] [229] [232] [233] [234] [235] [240] [241] [242] [243] [244] [245] [246] [247] [249] [252] [253] [254] [255] [257] [259]
73Fan Mo [172] [176] [179] [184] [195] [198] [200] [203] [211] [230] [231] [239]
74Hari Mony [242] [249]
75Cho W. Moon [28] [37] [41] [62] [73] [96]
76Christopher R. Morrison [4]
77Robert B. Mueller-Thuns [92]
78Rajeev Murgai [13] [23] [24] [25] [43] [54] [61] [68] [88]
79Amit Narayan [115] [120] [124] [136] [146]
80A. Richard Newton [15] [17] [52] [161] [163]
81Yoshihito Nishizaki [13]
82Ralph H. J. M. Otten [151] [162] [164] [173]
83Abelardo Pardo [121] [126]
84Yatish Patel [199]
85Alexandre Petrenko [180] [185] [205] [238]
86Carl Pixley [81] [101] [106] [107] [174] [202]
87Mukul R. Prasad [181] [196]
88Anuj Puri [76] [100] [111]
89Shaz Qadeer [116] [121] [126] [138] [141] [175] [202]
90Stefano Quer [167]
91Sriram K. Rajamani [141] [175]
92Rajeev K. Ranjan [86] [117] [121] [123] [126] [134] [145] [160]
93Sayak Ray [258] [259]
94Richard L. Rudell [3] [4] [107]
95Sartaj Sahni (Sartaj K. Sahni) [30]
96Alexander Saldanha [6] [10] [31] [33] [44] [45] [66] [74] [75] [87] [97] [99] [110] [128] [139]
97Jagesh V. Sanghavi [51] [53] [63] [117] [123]
98Alberto L. Sangiovanni-Vincentelli [1] [2] [3] [4] [6] [9] [10] [11] [12] [13] [15] [17] [18] [20] [23] [24] [25] [30] [31] [33] [34] [37] [38] [39] [40] [41] [42] [43] [44] [45] [47] [48] [51] [52] [53] [54] [60] [61] [63] [64] [66] [68] [69] [74] [75] [82] [84] [86] [87] [88] [90] [91] [96] [97] [99] [103] [105] [112] [113] [115] [117] [120] [121] [123] [124] [126] [128] [129] [130] [131] [134] [135] [136] [137] [138] [143] [146] [155] [157] [162] [165] [166] [169] [171] [180] [183] [185] [199] [205] [208] [237] [238]
99Kumud Sanwal [127] [168]
100Shaker Sarwary [121] [126]
101Hamid Savoj [12] [14] [26] [27] [29] [37] [253]
102Prashant Sawkar [150]
103Ellen Sentovich (Ellen M. Sentovich) [18] [19] [37] [78] [95] [167]
104Narendra V. Shenoy [13] [20] [24] [25] [40] [42] [60] [64] [99]
105Thomas R. Shiple [39] [47] [65] [86] [90] [121] [126] [183]
106Kanwar Jit Singh [11] [37] [42] [48]
107Vigyan Singhal [56] [77] [81] [82] [86] [101] [102] [106] [107] [116] [119] [127] [138] [145] [160] [168] [174] [183] [202]
108Subarna Sinha [248] [256]
109Subarnarekha Sinha [147] [169] [177] [191] [192] [193] [208] [219] [236]
110Duncan Exon Smith [248]
111Fabio Somenzi [121] [126] [145] [160]
112Arvind Srinivasan [8]
113Paul R. Stephan [28] [31] [55] [73] [112]
114Gitanjali Swamy [77] [80] [102] [121] [126] [144]
115Abdallah Tabbara [161] [163] [172] [176] [179]
116Bassam Tabbara [163]
117Serdar Tasiran [86] [89] [108] [125] [142]
118Hervé J. Touati [12] [27] [29] [46] [50] [94]
119Pravin Varaiya [111]
120Andreas G. Veneris [236] [248] [256]
121Tiziano Villa [33] [75] [84] [103] [121] [126] [128] [129] [130] [131] [135] [137] [143] [157] [165] [180] [185] [192] [205] [215] [228] [237] [238]
122Albert R. Wang [3] [4] [6]
123Huey-Yih Wang [58] [85] [86] [104]
124Xinning Wang [213] [220]
125Yosinori Watanabe [22] [32] [49] [56] [57] [59] [83] [114] [173]
126Dennis Wu [246]
127Yu-Shen Yang [236] [248] [256]
128Nina Yevtushenko [180] [185] [205] [215] [228] [237] [238]
129Jin S. Zhang [219] [226]
130Yuhong Zhao [133]
131Svetlana Zharikova [237]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page