An Open-Source EDA Flow for Asynchronous Logic.
Samira AtaeiWenmian HuaYihang YangRajit ManoharYi-Shan LuJiayuan HeSepideh MalekiKeshav PingaliPublished in: IEEE Des. Test (2021)
Keyphrases
- open source
- asynchronous circuits
- delay insensitive
- open source software
- source code
- multi valued
- flow patterns
- modal logic
- classical logic
- flow field
- predicate logic
- deontic logic
- asynchronous communication
- information flow
- discussion forums
- genetic algorithm
- open source projects
- defeasible logic
- set theory
- epistemic logic
- differential evolution
- logic programming
- proof theory
- case study