10061 Executive Summary - Circuits, Logic, and Games.
Benjamin RossmanThomas SchwentickDenis ThérienHeribert VollmerPublished in: Circuits, Logic, and Games (2010)
Keyphrases
- logic synthesis
- delay insensitive
- asynchronous circuits
- digital circuits
- logic circuits
- multi valued
- chip design
- built in self test
- high speed
- video games
- floating gate
- game playing
- shift register
- random access memory
- game theory
- winning strategy
- logic programming
- world wide
- nash equilibria
- computer games
- low power
- truth table
- perfect information
- predicate logic
- classical logic
- game design
- modal logic
- flip flops
- high level synthesis
- summary generation
- circuit design
- proof theory
- game players
- coalitional games
- defeasible logic
- neural network
- game tree
- automated reasoning
- model based diagnosis
- serious games
- nash equilibrium
- low cost
- cooperative