mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

Signed extension

Browse source
This commit is contained in:
Eddie Hung 2019-07-16 15:54:07 -07:00
parent 6390c535ba
commit 3f677fb0db
2 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
passes/pmgen/xilinx_dsp.cc
View file

@ -50,7 +50,7 @@ void pack_xilinx_dsp(xilinx_dsp_pm &pm)
if (st.ffA) { if (st.ffA) {
SigSpec D = st.ffA->getPort("\\D"); SigSpec D = st.ffA->getPort("\\D");
cell->setPort("\\A", D.extend_u0(30)); cell->setPort("\\A", D.extend_u0(30, true));
cell->setParam("\\AREG", State::S1); cell->setParam("\\AREG", State::S1);
if (st.ffA->type == "$dff") if (st.ffA->type == "$dff")
cell->setPort("\\CEA2", State::S1); cell->setPort("\\CEA2", State::S1);
@ -60,7 +60,7 @@ void pack_xilinx_dsp(xilinx_dsp_pm &pm)
} }
if (st.ffB) { if (st.ffB) {
SigSpec D = st.ffB->getPort("\\D"); SigSpec D = st.ffB->getPort("\\D");
cell->setPort("\\B", D.extend_u0(18)); cell->setPort("\\B", D.extend_u0(18, true));
cell->setParam("\\BREG", State::S1); cell->setParam("\\BREG", State::S1);
if (st.ffB->type == "$dff") if (st.ffB->type == "$dff")
cell->setPort("\\CEB2", State::S1); cell->setPort("\\CEB2", State::S1);

8
passes/pmgen/xilinx_dsp.pmg
View file

@ -9,10 +9,10 @@ endmatch
match ffA match ffA
select ffA->type.in($dff, $dffe) select ffA->type.in($dff, $dffe)
select param(ffA, \CLK_POLARITY).as_bool()
// select nusers(port(ffA, \Q)) == 2 // select nusers(port(ffA, \Q)) == 2
index <SigSpec> port(ffA, \Q).extend_u0(30) === port(dsp, \A) index <SigSpec> port(ffA, \Q).extend_u0(25, true) === port(dsp, \A).extract(0, 25)
// DSP48E1 does not support clock inversion // DSP48E1 does not support clock inversion
index <Const> param(ffA, \CLK_POLARITY).as_bool() === true
optional optional
endmatch endmatch
@ -23,9 +23,9 @@ endcode
match ffB match ffB
select ffB->type.in($dff, $dffe) select ffB->type.in($dff, $dffe)
select param(ffB, \CLK_POLARITY).as_bool()
// select nusers(port(ffB, \Q)) == 2 // select nusers(port(ffB, \Q)) == 2
index <SigSpec> port(ffB, \Q).extend_u0(18) === port(dsp, \B) index <SigSpec> port(ffB, \Q).extend_u0(18, true) === port(dsp, \B)
index <Const> param(ffB, \CLK_POLARITY).as_bool() === true
optional optional
endmatch endmatch