Engineering change in a non-deterministic FSM setting

Authors:
Sunil P. Khatri;Amit Narayan;Sriram C. Krisnan;Kenneth L. McMillan;Robert K. Brayton;A. Sangiovanni-Vincentelli
Affiliations:
Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA;Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA;Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA;Cadence Berkeley Laboratories, Berkeley, CA;Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA;Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA
Venue:
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Year:
1996

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Efficient implementation of a BDD package

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
A redesign technique for combinational circuits based on gate reconnections

ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Logic synthesis for engineering change

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Sequential synthesis using S1S

ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
The maximum set of permissible behaviors for FSM networks

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Implicit state minimization of non-deterministic FSMs

ICCD '95 Proceedings of the 1995 International Conference on Computer Design: VLSI in Computers and Processors
Language containment of non-deterministic omega-automata

CHARME '95 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Concurrency and Automata on Infinite Sequences

Proceedings of the 5th GI-Conference on Theoretical Computer Science
Supervisory Control of Finite State Machines

Proceedings of the 7th International Conference on Computer Aided Verification

Hi-index	0.00