150 likes | 260 Views
ICCad Contest. A- Rei & K-Wei & Fox & Chen-Yu 2013/04/29. Outline. K-cut vl2mv. K-Cut. A New Retiming-based Technology Mapping Algorithm for LUT-based FPGAs (1998) The algorithm is based on a novel iterative procedure for computing all k-cuts of all nodes in a sequential circuit.
E N D
ICCad Contest A-Rei & K-Wei & Fox & Chen-Yu 2013/04/29
Outline • K-cut • vl2mv
K-Cut • A New Retiming-based Technology Mapping Algorithm for LUT-based FPGAs (1998) • The algorithm is based on a novel iterative procedure for computing all k-cuts of all nodes in a sequential circuit.
K-Cut Definition
K-Cut • K-Look up Table & K-Cut * K is very small Ex. 3-LUT & 3-Cut A B F C
K-Cut V … u1 u2 …
4-Cut V u1 u2 u3 A B C D E Cu1 = { { A , B } , { U1 } } Cv= merge( Cu1 , Cu2 , Cu3 ) ∪ { { V } } = { { U1 , U2 , U3 }, {U1 , C , D, U3} , {U1 , C , D, E}, { A , B , U2 , U3} , { A , B , C , D, U3} , { A , B , C , D, E} { A , B , U2 , E} , { U1 , U2 , E} , { V } } Cu2 = { { C , D } , { U2 } } Cu3 = { { E } , { U3 } }
Bottom Up Approach V u1 u2 u3
Bottom Up Approach V u1 u2 u3
Bottom Up Approach V u1 u2 u3
Bottom Up Approach V u1 u2 u3
Bottom Up Approach V V ’ u1 u2 u3 Avoid computation overhead !
VL2MV • Why we need VL2MV • Parser • ABC’s limitation
VL2MV • VL2MV Limitation • Doesn't support multiplication sign(*) • Only one circuit can be translated at the same time
VL2MV • Solution • Include VL2MV source code and implement the parser by ourselves