SCViewer
Verification visualizer
A tool to visualize and analyze verification data from SystemC simulations.
Online documentation can be found at https://minres.github.io/SCViewer/
14 stars
2 watching
1 forks
Language: Java
last commit: about 1 year ago
Linked from 1 awesome list
aolofsson/awesome-opensource-hardwareRelated projects:
| Repository | Description | Stars |
|---|---|---|
 kevinblighe/scdataviz | A package providing functions and tools for data visualization and clustering in single-cell analysis, designed to be flexible and compatible with various studies. | 63 |
 piotte13/simd-visualiser | A tool to visualize and understand Single Instruction/Multiple Data (SIMD) code | 672 |
 parrt/lolviz | A tool for visualizing data structures in Python, allowing developers to represent complex data in a graphical format. | 830 |
 sri-csl/pvs | A verification system for formal methods and specification languages | 141 |
 mikael-alafriz-deel/lucid-sonic-dreams | A tool to visualize generated visuals in synchronization with music | 775 |
 lferry007/largevis | A software package for visualizing high-dimensional data and networks using efficient algorithms. | 710 |
 kevinresol/react-native-sinch-verification | A set of APIs for sending and verifying SMS codes in React Native applications using Sinch's verification service | 16 |
 verifytests/verify.icsharpcode.decompiler | A verification tool for .NET assemblies decompiled by ICSharpCode.Decompiler | 8 |
 hoovercj/vscode-power-mode | An extension that adds visual effects to the VS Code editor to enhance user experience | 1,094 |
 gopherj/vs | A Vue.js component suite for data visualization using d3.js and leaflet. | 168 |
 erik-roberts/gimbl-vis | An interactive multi-dimensional visualization toolbox for high-dimensional data | 4 |
 chiselverify/chiselverify | A verification library for digital hardware described in Chisel or legacy components from VHDL, Verilog, or SystemVerilog | 142 |
 aertslab/scope | A tool for fast visualization of large-scale single-cell data | 68 |
 smackers/smack | A software verification toolchain that translates C code into intermediate language and verifies its assertions using model checking and abstract interpretation | 431 |
 metoffice/forest | A tool for visualizing forecast model output and observation data in a web portal. | 43 |