PrincetonUniversity ILAng issues

PrincetonUniversity / ILAng

A Modeling and Verification Platform for SoCs using ILAs

https://bo-yuan-huang.gitbook.io/ilang/

MIT License

75 stars 18 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update googletest to fix build bug

#229 nskaplan-eng opened 5 days ago
0
Single cycle model

#228 jack2bs closed 1 week ago
1
[Verification Target Generation] Failure to support JasperGold backend

#227 xfzhou01 closed 1 year ago
4
Update Verilog parser

#226 Bo-Yuan-Huang opened 2 years ago
0
Update vlog parser for func port decl bug fix

#225 Bo-Yuan-Huang closed 2 years ago
0
SMT translation using linear integer or real

#224 Bo-Yuan-Huang opened 2 years ago
0
[WIP] Support for converting ILA program fragments to CHC problems

#223 Anonymous-Stranger opened 2 years ago
0
Merging latest progress on converting ILA program fragments to CHCs

#222 Anonymous-Stranger closed 2 years ago
0
switch to unordered_map to model memory in ILAtor

#221 LeeOHzzZ opened 2 years ago
0
add time recording feature for ilator debugging

#220 LeeOHzzZ opened 2 years ago
2
Update Refinement Handling in Verilog Verification Target Generation

#219 zhanghongce opened 2 years ago
10
Temporarily stop travis

#218 ILAng-service opened 3 years ago
0
Update ci final

#217 ILAng-service closed 2 years ago
1
Fix the link to API reference

#216 zhanghongce closed 3 years ago
2
Update ci

#215 ILAng-service closed 3 years ago
0
Build Error

#214 zhushaofeng1992 closed 3 years ago
1
Fix ci -- DONT MERGE

#213 yuex1994 closed 3 years ago
2
Update Doxygen link on README.md

#212 LeeOHzzZ opened 3 years ago
0
Ilator instr update log

#211 LeeOHzzZ closed 3 years ago
0
Added variable objects (structs and vectors of variables) to ILAng

#210 Anonymous-Stranger closed 3 years ago
2
[PLEASE CLOSE] Added variable objects (structs and vectors of variables) to ILAng

#209 Anonymous-Stranger closed 3 years ago
4
Create cmake.yml

#208 Bo-Yuan-Huang closed 3 years ago
0
Restructuring of the Refinement Relation Processing Module

#207 zhanghongce opened 3 years ago
0
SMT-LIB2 Parser Bug Fix

#206 zhanghongce closed 3 years ago
0
Issue 203: missing valid condition check

#205 Bo-Yuan-Huang closed 3 years ago
0
Unroll instruction sequence using templated SMT formula generator

#204 Bo-Yuan-Huang closed 3 years ago
1
Valid condition for Ilator generated simulator

#203 Bo-Yuan-Huang closed 3 years ago
2
Unrolling ILA using non-z3 SMT solvers

#202 Bo-Yuan-Huang closed 3 years ago
0
Support for hierarchical ILA SerDes.

#201 Bo-Yuan-Huang opened 3 years ago
0
Unified SMT interface

#200 Bo-Yuan-Huang closed 3 years ago
3
SMT-Switch interface update

#199 Bo-Yuan-Huang closed 3 years ago
0
Inconsistency between generated SystemC code with the description of ILA model for the New ILAtor

#198 LeeOHzzZ closed 3 years ago
1
[v1.1.1] Bug fix and clean up

#197 Bo-Yuan-Huang closed 3 years ago
0
ILAtor and z3 unroll

#196 Bo-Yuan-Huang closed 4 years ago
0
[ILAtor] Inline simple functions

#195 Bo-Yuan-Huang closed 4 years ago
0
[ILAtor] Reduce the number of global variables

#194 Bo-Yuan-Huang closed 4 years ago
0
[ILAtor] Add config option for generated simulator

#193 Bo-Yuan-Huang closed 4 years ago
0
[ILAtor] include build tests

#192 Bo-Yuan-Huang opened 4 years ago
0
ILAtor updates

#191 Bo-Yuan-Huang closed 4 years ago
1
Memory allocation exception in external SMT parser

#190 Bo-Yuan-Huang closed 3 years ago
3
CI fails due to unavailable packages

#189 Bo-Yuan-Huang closed 4 years ago
1
Allocation exception in unit tests

#188 Bo-Yuan-Huang closed 4 years ago
2
Cxx17

#187 Bo-Yuan-Huang closed 4 years ago
0
Fix bug #179: miss constant bit_width in ILAtor Concat-op

#186 yuex1994 closed 4 years ago
0
Enable TestVlgTargetGen.MemoryInternal

#185 Bo-Yuan-Huang closed 4 years ago
0
Fix bug #180: Ilator miscall to_int() when storing constants

#184 yuex1994 closed 4 years ago
0
ILAtor CMake improvement

#183 Bo-Yuan-Huang closed 4 years ago
0
Adopting C++17

#182 Bo-Yuan-Huang closed 4 years ago
0
Memory Abstraction Parameter Fix

#181 zhanghongce closed 4 years ago
2
SystemC simulation failure when initailizing ILA memory state with BvConst

#180 LeeOHzzZ closed 4 years ago
0