Merge remote-tracking branch 'origin/master' into xaig

diff --cc CHANGELOG
index 0636e6bad465540a3dbc50036980fd8ff15d0687,8c88a7db8f53954ba094263effe83ec9bdb904ad..f0154a81e12c22f1ae8c4336c68cd7ce49414067
--- 1/CHANGELOG
--- 2/CHANGELOG
+++ b/CHANGELOG
@@@ -21,11 -20,8 +21,12 @@@ Yosys 0.8 .. Yosys 0.8-de
      - Added "muxcover -mux{4,8,16}=<cost>"
      - Added "muxcover -dmux=<cost>"
      - Added "muxcover -nopartial"
 -    - "synth_xilinx" to now infer hard shift registers, using new "shregmap -tech xilinx"
+     - Added "muxpack" pass
 +    - Added "abc9" pass for timing-aware techmapping (experimental, FPGA only, no FFs)
 +    - Added "synth_xilinx -abc9" (experimental)
 +    - Added "synth_ice40 -abc9" (experimental)
 +    - Added "synth -abc9" (experimental)
 +    - "synth_xilinx" to now infer hard shift registers (-nosrl to disable)
      - Fixed sign extension of unsized constants with 'bx and 'bz MSB
  
  

diff --cc techlibs/xilinx/cells_sim.v
index 8261286af8efcb0589891123e6ede21d2b7aae8d,50d588a9e04ea00ed76aa5cb9ca7c47ebbfed2c6..67b221c95e2053ef154efe2a48611c2d562d6641
--- 1/techlibs/xilinx/cells_sim.v
--- 2/techlibs/xilinx/cells_sim.v
+++ b/techlibs/xilinx/cells_sim.v
@@@ -281,7 -278,23 +281,24 @@@ module FDPE_1 (output reg Q, input C, C
    always @(negedge C, posedge PRE) if (PRE) Q <= 1'b1; else if (CE) Q <= D;
  endmodule
  
+ module RAM32X1D (
+   output DPO, SPO,
+   input  D, WCLK, WE,
+   input  A0, A1, A2, A3, A4,
+   input  DPRA0, DPRA1, DPRA2, DPRA3, DPRA4,
+ );
+   parameter INIT = 32'h0;
+   parameter IS_WCLK_INVERTED = 1'b0;
+   wire [4:0] a = {A4, A3, A2, A1, A0};
+   wire [4:0] dpra = {DPRA4, DPRA3, DPRA2, DPRA1, DPRA0};
+   reg [31:0] mem = INIT;
+   assign SPO = mem[a];
+   assign DPO = mem[dpra];
+   wire clk = WCLK ^ IS_WCLK_INVERTED;
+   always @(posedge clk) if (WE) mem[a] <= D;
+ endmodule
+ 
 +(* abc_box_id = 4, abc_scc_break="D" *)
  module RAM64X1D (
    output DPO, SPO,
    input  D, WCLK, WE,

diff --cc techlibs/xilinx/cells_xtra.sh
Simple merge

diff --cc techlibs/xilinx/cells_xtra.v
Simple merge