+++
title = "Novel ideas"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3c4"]
forwardlinks = ["3c6"]
zettelid = "3c5"
+++

One main novel idea might be how the proof between the RTL and the
optimised Verilog is done, as it will be a multiple steps to one step
comparison, instead of the other way round. Normally all the comparisons
are one to many or one to one.