PlanV
  • Home
  • Who We Are
  • Services
  • Projects
  • Work With Us
  • Papers & Posters
  • Partners
  • Blog
Select Page

Delving into ITP and HOL4 for digital design and verification

by Massimiliano Giacometti | Nov 27, 2024 | Uncategorized

I came across this very interesting paper from Andreas Lööw, A Proof-Producing Translator for Verilog Development in HOL, and that piqued my curiosity. Speaking as a digital design architect, it would indeed be very interesting to be able to generate RTL code upon a...

Recent Posts

  • Enabling UVM Support in Verilator Series — Constrained Randomization Support for Structs
  • Enabling UVM Support in Verilator Series — Constrained Randomization Support for All Types of Arrays
  • SoC Integration using Amaranth HDL
  • Delving into ITP and HOL4 for digital design and verification
  • Enabling UVM Support in Verilator Series — Basic Randomization Support for Aggregate data types

Recent Comments

  1. Pranay on CVA6’s Instruction and WriteBack Data cache

Useful Links

Home
Who We Are
Services
Projects
Work With Us
Papers & Posters
Blog
Partners
Impressum


Address

Mildred-Scheel-Bogen 60, 80804 München



Email

info@planv.tech

Social Media

  • Follow
  • Follow

© 2023 PlanV Tech | All Rights Reserved