Merge branch 'eddie/xilinx_srl' into xaig_arrival
authorEddie Hung <eddie@fpgeh.com>
Fri, 30 Aug 2019 17:30:54 +0000 (10:30 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 30 Aug 2019 17:30:54 +0000 (10:30 -0700)

Trivial merge