Title | ||
---|---|---|
Computational Vector-Magnitude-Based Range Determination for Scientific Abstract Data Types |
Abstract | ||
---|---|---|
As interest mounts in using hardware accelerators to speed up numerical scientific calculations, automation tool support is required to aid designers in mapping applications to custom hardware. One key step in designing this custom hardware is bit-width allocation where the known-art faces challenges when dealing with applications from the scientific computing domain, thus motivating the use of computational methods based on Satisfiability-Modulo Theory. Many real-life applications are, however, specified in terms of vectors and matrices which are of sufficient size to make expansion into scalar equations infeasible. The proposed vector-magnitude method and its extension via block vectors enable computational methods to be leveraged in tackling calculations of practically relevant complexity. Application to case studies confirms that through a more compact computational instance, search efficiency is improved leading to tighter bounds and thus smaller bit-widths. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1109/TC.2010.266 | Computers, IEEE Transactions |
Keywords | Field | DocType |
abstract data types,computability,fixed point arithmetic,floating point arithmetic,high level synthesis,natural sciences computing,numerical analysis,vectors,automation tool support,bit-width allocation,block vectors,computational methods,computational vector-magnitude-based range determination,custom hardware,hardware accelerators,numerical scientific calculations,satisfiability-modulo theory,scientific abstract data types,scientific computing,vector-magnitude method,Bit-width allocation,hardware accelerators. | Abstract data type,Euclidean vector,Computer science,Floating point,Scalar (physics),Parallel computing,High-level synthesis,Automation,Robustness (computer science),Speedup | Journal |
Volume | Issue | ISSN |
60 | 11 | 0018-9340 |
Citations | PageRank | References |
1 | 0.35 | 16 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Adam B. Kinsman | 1 | 141 | 10.05 |
Nicola Nicolici | 2 | 807 | 59.91 |