La verification formelle est désormais possible en SpinalHDL \o/
Le tout avec les outils «classiques» opensource gravitant autour de Yosys.
spinalHDL
yosys
formal
FoldFold allExpandExpand allAre you sure you want to delete this link?Are you sure you want to delete this tag?
The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community