blob: ca0367aaa769836b19da96fc0323b0cfa68aa247 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
+++
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.
|
