diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-02-14 13:43:34 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-02-27 10:17:29 -0800 |
| commit | 5ff60d2057992bdc9f0ff04eee78d7bf6be0ee44 (patch) | |
| tree | 0f5a602a3c667738b393453b21fd43fa4a0dad76 /backends/aiger | |
| parent | 683c5ce9409b578df518df829b76777ab69cf87b (diff) | |
| download | yosys-5ff60d2057992bdc9f0ff04eee78d7bf6be0ee44.tar.gz yosys-5ff60d2057992bdc9f0ff04eee78d7bf6be0ee44.tar.bz2 yosys-5ff60d2057992bdc9f0ff04eee78d7bf6be0ee44.zip | |
write_xaiger: add comment about arrival times of flop outputs
Diffstat (limited to 'backends/aiger')
| -rw-r--r-- | backends/aiger/xaiger.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 2a39d225d..dc0f997fe 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -656,6 +656,7 @@ struct XAigerWriter write_s_buffer(0); } + // Use arrival time from output of flop box write_i_buffer(arrival_times.at(d, 0)); //write_o_buffer(0); } |