Login / Signup
Using symbolic computer algebra for subexpression factorization and subexpression decomposition in high level synthesis.
Xianwu Xing
Ching-Chuen Jong
Published in:
ISCAS (6) (2005)
Keyphrases
</>
computer algebra
high level synthesis
computer algebra systems
theorem prover
pairwise
singular value decomposition
case study
design space exploration
probability distribution
inference rules
parallel architecture