Login / Signup

Concurrent logic restructuring and placement for timing closure.

Jinan LouWei ChenMassoud Pedram
Published in: ICCAD (1999)
Keyphrases
  • asynchronous circuits
  • modal logic
  • logic programming
  • classical logic
  • predicate logic
  • proof theory
  • data sets
  • information retrieval
  • case study
  • multi agent
  • probability theory
  • computational properties
  • modal operators