A framework for high level synthesis using taylor decomposition system
This thesis extends the work and application of Taylor Expansion Diagrams (TED) as a framework for high level synthesis and verification of data-flow and arithmetic-intensive designs. It shows that TEDs can be used for different high level optimization objectives and that TED-based optimizations and...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
ScholarWorks@UMass Amherst
2013
|
| Subjects: | |
| Online Access: | https://scholarworks.umass.edu/dissertations/AAI3603088 |