{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"pyucis","owner":"fvutils","isFork":false,"description":"Python API to Unified Coverage Interoperability Standard (UCIS) Data","allTopics":["functional-coverage","ucis","accellera-ucis","coverage-database"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":5,"starsCount":21,"forksCount":10,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-23T02:10:54.351Z"}},{"type":"Public","name":"pyvsc","owner":"fvutils","isFork":false,"description":"Python packages providing a library for Verification Stimulus and Coverage","allTopics":["coverage","randomization","constraints","constrained-random","cocotb","verification-stimulus","random-stimulus","functional-coverage","python"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":30,"starsCount":112,"forksCount":26,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-22T22:58:59.575Z"}},{"type":"Public","name":"ivpm","owner":"fvutils","isFork":false,"description":"IP and Verification Package Manager","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-11T23:45:20.460Z"}},{"type":"Public","name":"pytest-fv","owner":"fvutils","isFork":false,"description":"Support library for capturing HDL test suites via Python unit tests","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-11T13:57:19.638Z"}},{"type":"Public","name":"svt","owner":"fvutils","isFork":false,"description":"Simple SystemVerilog Testbench library","allTopics":[],"primaryLanguage":{"name":"SystemVerilog","color":"#DAE1C2"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-10T14:46:48.147Z"}},{"type":"Public","name":"pyhdl-if","owner":"fvutils","isFork":false,"description":"Python interface for cross-calling with HDL","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":14,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-25T01:02:20.030Z"}},{"type":"Public","name":"fvutils.github.io","owner":"fvutils","isFork":false,"description":"Landing page for FVUtils project","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T02:25:15.616Z"}},{"type":"Public archive","name":"vlsim","owner":"fvutils","isFork":false,"description":"Python wrapper and run infrastructure for Verilator","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T15:19:11.429Z"}},{"type":"Public","name":"cocotb-dpi","owner":"fvutils","isFork":false,"description":"DPI-based launcher for cocotb library","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-06T02:20:14.169Z"}},{"type":"Public","name":"uvmf-core","owner":"fvutils","isFork":false,"description":"Core UVM Framework libraries with modifications for mkdv","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-14T02:10:06.626Z"}},{"type":"Public","name":"boolector","owner":"fvutils","isFork":true,"description":"A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":62,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T21:26:23.418Z"}},{"type":"Public","name":"vte","owner":"fvutils","isFork":false,"description":"Verification Template Engine is a Jinja2-based template engine targeted at verification engineers","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":4,"starsCount":11,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-04T11:04:15.702Z"}},{"type":"Public","name":"mkdv","owner":"fvutils","isFork":false,"description":"Makefiles to run cocotb and pybfm testbench environments on multiple simulators","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":4,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-28T01:58:50.005Z"}},{"type":"Public","name":"fltools","owner":"fvutils","isFork":false,"description":"Utilities for working with EDA Filelists","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-30T22:03:12.472Z"}},{"type":"Public","name":"pyuvm-dataclasses","owner":"fvutils","isFork":false,"description":"Apply dataclasses concept to testbench automation in Python","allTopics":["python","functional-verification","dataclasses","pyuvm"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-09T18:05:04.163Z"}},{"type":"Public","name":"cocotb-stub-sim","owner":"fvutils","isFork":false,"description":"Stubs out the cocotb simulator interface to support unit testing Python code without a simulator","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-03T14:36:37.842Z"}},{"type":"Public","name":"pyucis-viewer","owner":"fvutils","isFork":false,"description":"QT-based viewer for UCIS coverage data","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-07T14:42:53.115Z"}},{"type":"Public","name":"uvmf-full","owner":"fvutils","isFork":false,"description":"Full UVM Framework snapshot, including docs","allTopics":[],"primaryLanguage":{"name":"SystemVerilog","color":"#DAE1C2"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-01T18:32:21.143Z"}},{"type":"Public archive","name":"pyhvl-rpc","owner":"fvutils","isFork":false,"description":"Library for implementing remote procedure calls between Python and a high-level verification language (HVL)","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-17T17:14:52.521Z"}},{"type":"Public","name":"munit-nano","owner":"fvutils","isFork":true,"description":"µnit-nano is a fork of µnit, a small testing framework for C. µnit-nano contains customizations for low-resource embedded systems","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":76,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-13T02:20:43.069Z"}},{"type":"Public","name":"scvpi","owner":"fvutils","isFork":false,"description":"Provides a stub implementation of (System)Verilog VPI functions for SystemC","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-16T01:50:42.560Z"}},{"type":"Public","name":"libcovdb","owner":"fvutils","isFork":false,"description":"Implements the UCIS coverage interchange API and several back-end databases","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-24T00:47:40.560Z"}},{"type":"Public archive","name":"testsuite-runner","owner":"fvutils","isFork":false,"description":"TestSuite Runner is a script infrastructure targeted managing verification regression suites","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-14T16:16:20.014Z"}},{"type":"Public archive","name":"zephyr-cosim","owner":"fvutils","isFork":false,"description":"Package to enable host cosimulation of software a simulation environment","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-07T02:23:16.415Z"}},{"type":"Public","name":"lingeling_pypi","owner":"fvutils","isFork":true,"description":"Lingeling SAT Solver","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":29,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-11T00:42:18.800Z"}},{"type":"Public","name":"btor2tools","owner":"fvutils","isFork":true,"description":"A generic parser and tool package for the BTOR2 format.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":24,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-08T13:54:36.582Z"}},{"type":"Public archive","name":"py-hpi","owner":"fvutils","isFork":false,"description":"Python/Simulator integration using procedure calls","allTopics":["python","vhdl","verilog","systemverilog","hdl","functionalverification"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-12T20:48:01.586Z"}},{"type":"Public archive","name":"uvm-py","owner":"fvutils","isFork":false,"description":"Python implementation of the UVM API","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-12T19:58:11.967Z"}},{"type":"Public","name":"googletest-hdl","owner":"fvutils","isFork":false,"description":"GoogleTest Integration into various HDL environments","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-15T11:58:14.948Z"}},{"type":"Public archive","name":"uvm-cpp","owner":"fvutils","isFork":false,"description":"UVM cast in C++11","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-01T04:09:28.398Z"}}],"repositoryCount":32,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"fvutils repositories"}