issues
search
insoochung
/
rtl-semantics-design-verification
5
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Reformat all python files using black
#62
insoochung
closed
2 years ago
0
Feature/func coverage
#61
insoochung
closed
2 years ago
0
Add CDFG cutoff code
#60
insoochung
closed
2 years ago
0
Add pretraining flow and blackbox baselines
#59
insoochung
closed
2 years ago
0
TP Adjustment
#58
aarongchan
closed
2 years ago
2
Fix gather_nd bug
#57
insoochung
closed
2 years ago
0
Change simulator to verilator
#56
insoochung
opened
2 years ago
0
covergroup html to yaml
#55
abucturab
closed
2 years ago
1
Add HParams auto search
#54
insoochung
closed
2 years ago
0
Attention module pretraining
#53
insoochung
closed
2 years ago
0
Hyperparameters search
#52
insoochung
closed
2 years ago
2
Add attention module
#51
insoochung
closed
2 years ago
1
Restructure NN code
#50
insoochung
closed
2 years ago
1
Add evaluate flow
#49
insoochung
opened
2 years ago
0
Leverage covergroups to generate data
#48
insoochung
opened
2 years ago
2
Ignore non-serializable attributes in meta dump
#47
insoochung
closed
2 years ago
0
Add RL flow for TP generation
#46
insoochung
opened
2 years ago
0
Add GAN flow for TP generation
#45
insoochung
opened
2 years ago
0
Unstructured data processing
#44
insoochung
closed
2 years ago
1
Initial attention module
#43
insoochung
closed
2 years ago
0
TP adjustments
#42
insoochung
closed
2 years ago
4
Python runner for TP adjustment flow
#41
insoochung
opened
2 years ago
0
Integerate test parameter suggestion
#40
insoochung
opened
2 years ago
0
Extend to multiple RISCV designs
#39
insoochung
opened
2 years ago
3
Implement RTL IPA-GNN
#38
insoochung
opened
2 years ago
0
FSM Coverpoint extraction
#37
insoochung
closed
2 years ago
1
Feature/enhance parser
#36
insoochung
closed
2 years ago
0
adding extra - to command line argument for tf_data_dir
#35
aarongchan
closed
2 years ago
0
Various CDFG parsing error for IWLS benchmark designs
#34
priankasg
closed
2 years ago
7
Feature/gcn adapter
#33
insoochung
closed
2 years ago
1
Check masking logic
#32
insoochung
closed
2 years ago
4
Add filtering logic
#31
insoochung
closed
2 years ago
1
Fix test generation and test running
#30
insoochung
closed
2 years ago
1
Fix broken DV
#29
insoochung
closed
2 years ago
1
Feature/update cdfg constructor
#28
insoochung
closed
2 years ago
0
Update D2V datagen
#27
insoochung
closed
2 years ago
0
Add test generator and test runner
#26
insoochung
closed
2 years ago
0
Modify d2v data generator to work with test runner
#25
insoochung
closed
2 years ago
0
Update IBEX v1 design
#24
insoochung
closed
2 years ago
0
Create a test runner
#23
insoochung
closed
2 years ago
0
Create a test generator
#22
insoochung
closed
2 years ago
0
Update IBEX (current one is buggy)
#21
insoochung
closed
2 years ago
0
Update readme
#20
insoochung
closed
2 years ago
0
Initial dataset generator
#19
insoochung
closed
2 years ago
0
Merge dependency related changes
#18
insoochung
closed
2 years ago
0
Updated the script to work with urgReport dir
#17
abucturab
closed
2 years ago
1
Add reducing rule for further improvements
#16
insoochung
closed
2 years ago
0
Refine parser rules to be more close to the actual SV specification
#15
insoochung
closed
2 years ago
0
Assert equivalence in every step of RTL modification
#14
insoochung
closed
2 years ago
0
Add GNN portion of the graph
#13
insoochung
closed
2 years ago
1
Next