Verification of Parameterised FPGA Circuit Descriptions with Layout ...

Verification of Parameterised FPGA Circuit Descriptions with Layout ... Verification of Parameterised FPGA Circuit Descriptions with Layout ...

24.04.2013 Views

APPENDIX D. CIRCUIT LAYOUT CASE STUDIES 316 ((0

APPENDIX D. CIRCUIT LAYOUT CASE STUDIES 317 ==> ((0 + (Width (mat1 ;;; word_transpose $ bits $ (y, z) ;;; mat_trans)))

APPENDIX D. CIRCUIT LAYOUT CASE STUDIES 317<br />

==><br />

((0 + (Width (mat1 ;;; word_transpose $ bits $ (y, z) ;;; mat_trans)))

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!