Antmicro
OrganizationFirst seen 7/8/2026
Last seen 8/10/2026
Evidence 11 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
22 connectionsAntmicro is actively developing UVM integrations with Verilator
Antmicro provides example tests using pyuvm for VeeR-EL2 PIC verification.
Antmicro developed pyUVM tests to verify the PMP module's correctness
Antmicro is working to introduce CI-based testing and verification for the VeeR EL2 core.
Antmicro developed the RTL implementation of the PMP module concurrently with pyUVM tests
Antmicro uses OpenOCD for system level JTAG-based tests of VeeR.
Antmicro uses GDB to run test scripts verifying VeeR core registers and memory.
Antmicro uses coverage analysis to verify effectiveness of tests for VeeR.
Antmicro uses Verilator for UVM-style verification in the CHIPS Alliance Caliptra Root of Trust project.
Antmicro's work on Verilator was developed in part under the TRISTAN project.
Antmicro works with CHIPS Alliance on the Caliptra Root of Trust project
Antmicro provides automated testing and verification infrastructure including CI pipelines
Antmicro provides functional testing pipelines for the Caliptra project
Antmicro provides coverage testing pipelines for the Caliptra project
Antmicro ran RISCOF and riscv-dv tests on the VeeR EL2 core
Antmicro used RISC-V Torture Tests to assess Renode's RISC-V implementation.
Antmicro added Verible formatter and linting actions to the VeeR CI.
Antmicro used Renode as its RISC-V implementation platform.
Antmicro uses riscv-dv to verify the VeeR core.
Antmicro implemented a cocotb testbench for VeeR integration testing.
Antmicro introduces CI-based testing pipeline for VeeR.
Antmicro uses custom GitHub Actions Runners for Caliptra CI.