PLFire: A Visualization Tool for Asynchronous Phased Logic Designs.
Kenneth FazelMitchell A. ThorntonRobert B. ReesePublished in: DATE (2003)
Keyphrases
- visualization tool
- delay insensitive
- asynchronous circuits
- open source
- visual exploration
- visualization tools
- graphical user interface
- logic programming
- information visualization
- classical logic
- data analysis
- digital circuits
- case study
- flip flops
- state machines
- multi valued
- automated reasoning
- modal logic
- state machine
- expressive power
- knowledge base
- sound and complete axiomatization