3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-08 02:15:20 +00:00
This commit is contained in:
Eddie Hung 2020-01-27 12:30:39 -08:00
parent f2576c096c
commit e0bdf5d7a9

View file

@ -378,7 +378,7 @@ Verilog Attributes and non-standard features
port. It can be used, for example, to specify the clk-to-Q delay of a flip-
flop output for consideration during `abc9` techmapping.
- The input port attribute ``abc9_requiredl`` specifies an integer, or a string
- The input port attribute ``abc9_required`` specifies an integer, or a string
of space-separated integers to be used as the required time of this blackbox
port. It can be used, for example, to specify the setup-time of a flip-flop
input for consideration during `abc9` techmapping.