diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-03 17:29:20 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-03 17:29:20 +0100 |
| commit | 741d254d2d697cd9cd9da2edb9cd49462695092f (patch) | |
| tree | 00c7fe7c13dbeb25d0b85c4a39117c740cff1898 /src/hls/HTLgenspec.v | |
| parent | c962467b9ab483beb17a4c264ee30242cdbafb7d (diff) | |
| download | vericert-741d254d2d697cd9cd9da2edb9cd49462695092f.tar.gz vericert-741d254d2d697cd9cd9da2edb9cd49462695092f.zip | |
Add externctrl props to HTLgen's st_prop
Diffstat (limited to 'src/hls/HTLgenspec.v')
0 files changed, 0 insertions, 0 deletions