| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | Oops | Eddie Hung | 2019-11-19 | 1 | -1/+1 | |
| | | | | ||||||
| | * | | Print help message for verific pass | Eddie Hung | 2019-11-19 | 1 | -9/+12 | |
| | | | | ||||||
| * | | | verific: also unflatten for 'hierarchy' flow as per @cliffordwolf | Eddie Hung | 2020-01-27 | 1 | -0/+3 | |
| | | | | ||||||
| * | | | verific: unflatten struct ports | Eddie Hung | 2020-01-24 | 1 | -0/+3 | |
| | |/ |/| | ||||||
| * | | Send people to symbioticeda.com instead of verific.com | Clifford Wolf | 2019-12-18 | 1 | -3/+20 | |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | Improve handling of verific primitives in "verific -import -V" mode | Clifford Wolf | 2019-11-22 | 1 | -2/+2 | |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | Correctly treat empty modules as blackboxes in Verific | Clifford Wolf | 2019-11-20 | 1 | -1/+1 | |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | Do not rename VHDL entities to "entity(impl)" when they are top modules | Clifford Wolf | 2019-11-20 | 1 | -4/+7 | |
| |/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Improve naming scheme for (VHDL) modules imported from Verific | Clifford Wolf | 2019-10-24 | 1 | -3/+26 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Add "verific -L" | Clifford Wolf | 2019-10-24 | 1 | -1/+12 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix handling of "restrict" in Verific front-end | Clifford Wolf | 2019-10-21 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix erroneous ifndef-NDEBUG in verific.cc | Clifford Wolf | 2019-08-17 | 1 | -3/+1 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix various NDEBUG compiler warnings, closes #1255 | Clifford Wolf | 2019-08-13 | 1 | -0/+2 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Merge pull request #1258 from YosysHQ/eddie/cleanup | Clifford Wolf | 2019-08-10 | 1 | -2/+2 | |
| |\ | | | | | Cleanup a few barnacles across codebase | |||||
| | * | substr() -> compare() | Eddie Hung | 2019-08-07 | 1 | -2/+2 | |
| | | | ||||||
| | * | stoi -> atoi | Eddie Hung | 2019-08-07 | 1 | -1/+1 | |
| | | | ||||||
| | * | Use std::stoi instead of atoi(<str>.c_str()) | Eddie Hung | 2019-08-06 | 1 | -1/+1 | |
| | | | ||||||
| * | | Automatically prune init attributes in verific front-end, fixes #1237 | Clifford Wolf | 2019-08-07 | 1 | -5/+58 | |
| |/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Call "read_verilog" with -defer from "read" | Clifford Wolf | 2019-07-29 | 1 | -1/+2 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Only support Symbiotic EDA flavored Verific | Clifford Wolf | 2019-06-02 | 1 | -0/+8 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Enable Verific flag veri_elaborate_top_level_modules_having_interface_ports, ↵ | Clifford Wolf | 2019-05-30 | 1 | -0/+3 | |
| | | | | | | | fixes #1055 Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | For hier_tree::Elaborate() also include SV root modules (bind) | Eddie Hung | 2019-05-03 | 1 | -23/+36 | |
| | | ||||||
| * | Fix verific_parameters construction, use attribute to mark top netlists | Eddie Hung | 2019-05-03 | 1 | -7/+11 | |
| | | ||||||
| * | WIP -chparam support for hierarchy when verific | Eddie Hung | 2019-05-03 | 1 | -10/+15 | |
| | | ||||||
| * | verific_import() changes to avoid ElaborateAll() | Eddie Hung | 2019-05-03 | 1 | -15/+38 | |
| | | ||||||
| * | Add "read -verific" and "read -noverific" | Clifford Wolf | 2019-03-27 | 1 | -6/+28 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix "verific -extnets" for more complex situations | Clifford Wolf | 2019-03-26 | 1 | -15/+71 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Update help message for -chparam | Eddie Hung | 2019-03-09 | 1 | -1/+2 | |
| | | ||||||
| * | Add -chparam option to verific command | Eddie Hung | 2019-03-09 | 1 | -2/+18 | |
| | | ||||||
| * | Improve "read" error msg | Clifford Wolf | 2019-02-28 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Check if Verific was built with DB_PRESERVE_INITIAL_VALUE | Clifford Wolf | 2019-02-24 | 1 | -0/+4 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Improve VerificImporter support for writes to asymmetric memories | Clifford Wolf | 2019-01-02 | 1 | -22/+35 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix VerificImporter asymmetric memories error message | Clifford Wolf | 2019-01-02 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Improve src tagging (using names and attrs) of cells and wires in verific ↵ | Clifford Wolf | 2018-12-18 | 1 | -99/+159 | |
| | | | | | | | front-end Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Verific updates | Clifford Wolf | 2018-12-06 | 1 | -53/+0 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Set Verific flag vhdl_support_variable_slice=1 | Clifford Wolf | 2018-11-09 | 1 | -0/+1 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Improve Verific importer blackbox handling | Clifford Wolf | 2018-10-07 | 1 | -2/+14 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix compiler warning in verific.cc | Clifford Wolf | 2018-10-05 | 1 | -0/+2 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Add "verific -L <int>" option | Clifford Wolf | 2018-09-04 | 1 | -0/+11 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Add "verific -work" help message | Clifford Wolf | 2018-08-22 | 1 | -0/+7 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Add Verific -work parameter | Clifford Wolf | 2018-08-22 | 1 | -8/+18 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Add "verific -set-<severity> <msg_id>.." | Clifford Wolf | 2018-08-16 | 1 | -14/+52 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Verific workaround for VIPER ticket 13851 | Clifford Wolf | 2018-08-16 | 1 | -0/+3 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Merge pull request #591 from hzeller/virtual-override | Clifford Wolf | 2018-08-15 | 1 | -5/+5 | |
| |\ | | | | | Consistent use of 'override' for virtual methods in derived classes. | |||||
| | * | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 1 | -5/+5 | |
| | | | | | | | | | | | | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established) | |||||
| * | | Verific: Produce errors for instantiating unknown module | Clifford Wolf | 2018-07-22 | 1 | -0/+3 | |
| |/ | | | | | | | | Because if the unknown module is connected to any constants, Verific will actually break all constants in the same module, even if they have nothing to do structurally with that instance of an unknown module. Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix verific -vlog-incdir and -vlog-libdir handling | Clifford Wolf | 2018-07-16 | 1 | -2/+13 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix "read -incdir" | Clifford Wolf | 2018-07-16 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Add "read -incdir" | Clifford Wolf | 2018-07-16 | 1 | -0/+19 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Add "verific -formal" and "read -formal" | Clifford Wolf | 2018-06-29 | 1 | -7/+15 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |