06451 Abstracts Collection -- Circuits, Logic, and Games .
Thomas SchwentickDenis ThérienHeribert VollmerPublished in: Circuits, Logic, and Games (2006)
Keyphrases
- logic synthesis
- delay insensitive
- asynchronous circuits
- logic circuits
- digital circuits
- chip design
- document collections
- video games
- logic programming
- high speed
- modal logic
- serious games
- flip flops
- game theoretic
- game theory
- fault models
- game development
- random access memory
- shift register
- tunnel diode
- built in self test
- perfect information
- predicate logic
- neural network
- classical logic
- automated reasoning
- educational games
- low power
- metadata