A Verifiable High Level Data Path Synthesis Framework
2011 ◽
Vol 30
(6)
◽
pp. 829-840
◽
1985 ◽
1985 ◽
1985 ◽
1990 ◽