Commits · ec336f800ff2996ffa03afb7833f9a3b3370ae0b · lvzhengyang / yosys-tests

02 Jan, 2019 2 commits
- Merge pull request #1 from SergeyDegtyar/master · ec336f80
```
First tests for pilot project
```
  Clifford Wolf committed Jan 02, 2019
  ec336f80 Browse Files
- Merge branch 'master' into master · 3adc2f8d
  Clifford Wolf committed Jan 02, 2019
  
  3adc2f8d Browse Files
19 Dec, 2018 1 commit
- Fix all review comments form Clifford Wolf · 050cc693
  SergeyDegtyar committed Dec 19, 2018
  
  050cc693 Browse Files
16 Dec, 2018 1 commit
- Add "falsify" checks for testing "simple" and "bigsim" test benches · 3efc101f
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Dec 16, 2018
  3efc101f Browse Files
12 Dec, 2018 2 commits
- Update testbenches for MACC and FSMs · 957b69f0
  SergeyDegtyar committed Dec 12, 2018
  
  957b69f0 Browse Files
- First tests for pilot project · a5b30e54
  SergeyDegtyar committed Dec 12, 2018
  
  a5b30e54 Browse Files
21 Sep, 2018 1 commit
- Add README.md · 3e1e4f91
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Sep 21, 2018
  3e1e4f91 Browse Files
06 Sep, 2018 1 commit
- Add foreach blocks to simple/Makefile · e46bb7ff
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Sep 06, 2018
  e46bb7ff Browse Files
05 Sep, 2018 2 commits
- Add VERIFIC=1 make option · 0ef8f454
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Sep 06, 2018
  0ef8f454 Browse Files
- Add framework for simple tests · fb71177c
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Sep 06, 2018
  fb71177c Browse Files
28 Aug, 2018 1 commit
- Add bigsim/navre · 30b89667
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Aug 28, 2018
  30b89667 Browse Files
22 Aug, 2018 1 commit
- Add simple verific VHDL test case · 42963512
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Aug 22, 2018
  42963512 Browse Files
05 May, 2018 1 commit
- Some fixes related to SVA consecutive repetition · 98f4dedc
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed May 05, 2018
  98f4dedc Browse Files
06 Mar, 2018 4 commits
- Add SVA consrep, gotorep, nonconsrep tests · 8b04cc85
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 06, 2018
  8b04cc85 Browse Files
- Add SVA firstmatch test · c32816fe
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 06, 2018
  c32816fe Browse Files
- Add SVA within test · 2b0d0786
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 06, 2018
  2b0d0786 Browse Files
- Add Verific SVA intersect test · a03936a4
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 06, 2018
  a03936a4 Browse Files
04 Mar, 2018 4 commits
- Add verific/sva/triggered · c52766ce
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 04, 2018
  c52766ce Browse Files
- Add verific/sva/seq_and.sv · 8c0046ae
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 04, 2018
  8c0046ae Browse Files
- Update verific/sva/run.sh for new sby multiclock handling · f8834f1b
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 04, 2018
  f8834f1b Browse Files
- Improve logging and console output · b4a7fc1a
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 04, 2018
  b4a7fc1a Browse Files
03 Mar, 2018 3 commits
- Add some status summaries · a5dee4ad
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 03, 2018
  a5dee4ad Browse Files
- Add verific/sva/seq_or.sv · b3e450dd
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 03, 2018
  b3e450dd Browse Files
- Fix verific/sva/until test, Add verific/sva/until_trig · 1a77264d
  Clifford Wolf committed Mar 03, 2018
  
  1a77264d Browse Files
01 Mar, 2018 4 commits
- Update verific/sva/run.sh · 9094d837
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 01, 2018
  9094d837 Browse Files
- Update makefiles · f8ef75f8
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 01, 2018
  f8ef75f8 Browse Files
- Update verific/opers makefile · 01897ebf
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 01, 2018
  01897ebf Browse Files
- Add verific/sva/ directory · 3b5a5373
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Mar 01, 2018
  3b5a5373 Browse Files
26 Feb, 2018 2 commits
- Add more verific/opers test cases · f252c11a
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Feb 26, 2018
  f252c11a Browse Files
- Add verific/opers/{sel_mux,wide_mux} · c41333f8
```
Signed-off-by: Clifford Wolf <clifford@clifford.at>
```
  Clifford Wolf committed Feb 26, 2018
  c41333f8 Browse Files