Handling design and implementation optimizations in equivalence checking for behavioral synthesis.
Zhenkun YangSandip RayKecheng HaoFei XiePublished in: DAC (2013)
Keyphrases
- parallel distributed
- case study
- functional decomposition
- design decisions
- implementation issues
- efficient implementation
- hardware design
- software architecture
- design space exploration
- design methodology
- current status
- circuit design
- computer architecture
- high level synthesis
- platform independent
- architectural design
- data sets
- design tools
- design principles
- multi agent systems
- neural network
- databases