Multiple Macro Support + TV Generation Cleanup #43
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add two flags to `main` to output metadata related to coverage, one for all fault points and one for fault points that are covered by the output test vectors.
* Generation reworked: Each test vector is generated entirely ahead of time then cut into bits instead of generated segment by segment * Added new TVGenerator, `PatternGenerator`, that is not random and uses the following pattern(s) depending on the iteration count: * All 0 * All 1 * Half 0, Half 1 * Half 1, Half 0 * Alternating 0s and 1s * Alternating 1s and 0s * Moving `max(1, min(32, bits/4))` window of 1s (even) and the complement of that (odd) * TVGenerators now take a seed, fixed default seed but can be changed over CLI * Fixed test * Incorporated `ARC4RandomNumberGenerator`from Swift TensorFlow sources (takes a seed)
donn
changed the title
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
fault jtagsimulations--blackboxnames of modules (not instances) inside the design to be blackboxed (i.e. connections treated as outputs or inputs to the circuit): Added tochain,cut--blackboxModels: Verilog files containing behavioral models for black-boxed instances for simulation: Added tochain,jtagand must be readable by Pyverilog (sorry)--output-fault-points: Outputs all detected fault points: Added tomain--output-covered: Outputs coverage metadata: Added tomainModule, which captures and stores metadata about modulesmodelsinstead of separatecellsandincludesfault chainto support multiple macros (and general code quality)RNGintoTVGenerator(the previous kind was renamedExternalTVGenerator, should eventually be the same class when I have the time)TVGenerator,PatternGenerator, that is not random and uses the following pattern(s) depending on the iteration count:max(1, min(32, bits/4))window of 1s (even) and the complement of that (odd)TVGeneratorsnow take a seed, fixed default seed but can be changed over CLIARC4RandomNumberGeneratorfrom Swift TensorFlow sources, which is seededfault asmdid not load some input names correctlyTesting
TripleDelay, to test the use of macros