lowrisc/synfi issues and pull requests

#69 - Gate type not found

Issue - State: open - Opened by GTP95 4 months ago

#68 - Delete FI Model Generator

Pull Request - State: closed - Opened by nasahlpa over 1 year ago

#67 - Update EOL GitHub Actions dependencies

Pull Request - State: closed - Opened by jwnrt over 1 year ago

#66 - Issue with fi_model_generator

Issue - State: closed - Opened by gzyangcs over 1 year ago - 3 comments

#65 - Support wildcards for registers/exclude gates

Pull Request - State: closed - Opened by Razer6 over 1 year ago

#64 - Update requirements to easily run on MacOS Ventura

Pull Request - State: closed - Opened by Razer6 over 1 year ago - 1 comment

#63 - Fix typo in README

Pull Request - State: closed - Opened by nasahlpa over 2 years ago

#62 - Fix documentation for examples

Pull Request - State: closed - Opened by nasahlpa over 2 years ago

#61 - Add readme

Pull Request - State: closed - Opened by nasahlpa over 2 years ago

#60 - Fix broken CI

Pull Request - State: closed - Opened by nasahlpa over 2 years ago

#59 - Limit #FI for artifact evaluation

Pull Request - State: closed - Opened by nasahlpa over 2 years ago

#58 - Simplify output logic

Pull Request - State: closed - Opened by nasahlpa almost 3 years ago

#57 - Add Ibex FI scripts.

Pull Request - State: closed - Opened by nasahlpa almost 3 years ago

#56 - AES & LC control testplan.

Pull Request - State: closed - Opened by nasahlpa almost 3 years ago

#55 - Extract kGE of the target graph.

Pull Request - State: closed - Opened by nasahlpa almost 3 years ago

#54 - Automatic removal of cycles.

Pull Request - State: closed - Opened by nasahlpa almost 3 years ago

#53 - Testplan aes

Pull Request - State: closed - Opened by nasahlpa almost 3 years ago

#52 - Fix bugs found during lc testplan.

Pull Request - State: closed - Opened by nasahlpa almost 3 years ago

#51 - Add standard lowRISC Contributors License Agreement

Pull Request - State: closed - Opened by asb almost 3 years ago

#50 - Fix bugs found in AES testplan.

Pull Request - State: closed - Opened by nasahlpa almost 3 years ago

#49 - Add output node.

Pull Request - State: closed - Opened by nasahlpa almost 3 years ago

#48 - Rename pin to port in in/out mapping.

Pull Request - State: closed - Opened by nasahlpa almost 3 years ago

#47 - Fix error msg in injector class.

Pull Request - State: closed - Opened by nasahlpa almost 3 years ago

#46 - AES Testplan.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#45 - Switch to MultiDiGraph.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#44 - Store and load target graph.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#43 - Use multiprocessing for extracting the graphs.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#43 - Use multiprocessing for extracting the graphs.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#42 - Adapt evaluation, inject faults into inputs, set number of sim. faults.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#41 - Fix bugs in formula creation.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#40 - Limit number of fault locations.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#40 - Limit number of fault locations.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#39 - Manual garbage collection.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#39 - Manual garbage collection.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#38 - Add option to exclude cells in graph generation.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#38 - Add option to exclude cells in graph generation.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#37 - Use OTFI specific inputs in cell lib.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#37 - Use OTFI specific inputs in cell lib.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#36 - Enable filtering based on substrings.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#36 - Enable filtering based on substrings.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#35 - Add possibility to define expected fault outputs.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#35 - Add possibility to define expected fault outputs.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#34 - Fix bug in zero/null handling.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#33 - Allow fault locations in different stages.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#33 - Allow fault locations in different stages.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#32 - Add option to exclude certain gates from auto_fl.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#32 - Add option to exclude certain gates from auto_fl.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#31 - Move handling of zero/one nodes to formula_class.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#30 - Enable support for multi-port connections.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#29 - Add the netlist converter tool.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#28 - Fix cell-lib name and use in-pin-mapping template.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#28 - Fix cell-lib name and use in-pin-mapping template.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#27 - Switch to a faster SAT solver.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#26 - Cell lib generator speed up.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#25 - AES Control FSM example.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#24 - AES control FSM example.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#24 - AES control FSM example.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#23 - Support single-stage circuits.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#22 - Update the FI generator.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#22 - Update the FI generator.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#21 - Add rnd_cntr example.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#21 - Add rnd_cntr example.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#20 - Update GH actions and pytest.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#20 - Update GH actions and pytest.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#19 - Run multi-bit experiments and adapt the framework.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#19 - Run multi-bit experiments and adapt the framework.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#18 - Fix line breaks in the README.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#18 - Fix line breaks in the README.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#17 - Update readme to include the cell_lib generator.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#17 - Update readme to include the cell_lib generator.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#16 - Update the readme to include the cell library generation step.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#16 - Update the readme to include the cell library generation step.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#15 - Update the cell lib generator.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#14 - Autogenerate fault locations.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#13 - Switch to the autogenerated cell_lib.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#12 - Switch to the autogenerated cell_lib.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#12 - Switch to the autogenerated cell_lib.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#11 - Fix python linting warnings.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#11 - Fix python linting warnings.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#10 - Add the cell library generator script.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago - 1 comment

#10 - Add the cell library generator script.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago - 1 comment

#9 - Enable GitHub actions for CI.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago - 1 comment

#8 - Use dataclasses for nodes and ports.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#7 - Switch to logger and rename cell library.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#6 - Split FI tasks into num_cores shares.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago

#5 - Enable alert signals.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago - 1 comment

#5 - Enable alert signals.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago - 1 comment

#4 - Add fault model generator.

Pull Request - State: closed - Opened by nasahlpa about 3 years ago - 1 comment

#3 - Add the formula class.

Pull Request - State: closed - Opened by nasahlpa over 3 years ago - 1 comment

#3 - Add the formula class.

Pull Request - State: closed - Opened by nasahlpa over 3 years ago - 1 comment

#2 - Add the parser and the injector to the repository.

Pull Request - State: closed - Opened by nasahlpa over 3 years ago - 3 comments

#2 - Add the parser and the injector to the repository.

Pull Request - State: closed - Opened by nasahlpa over 3 years ago - 3 comments

#1 - Add the parser tool to the framework repository.

Pull Request - State: closed - Opened by nasahlpa over 3 years ago

#1 - Add the parser tool to the framework repository.

Pull Request - State: closed - Opened by nasahlpa over 3 years ago

GitHub / lowrisc/synfi issues and pull requests