OpenCores

URL https://opencores.org/ocsvn/wbuart32/wbuart32/trunk

Subversion Repositories wbuart32

[/] [wbuart32/] [trunk/] [bench/] [formal/] [ufifo.sby] - Diff between revs 25 and 26

Show entire file | Details | Blame | View Log

Rev 25	Rev 26
Line 3...	Line 3...

`[engines]`	`[engines]`
`smtbmc`	`smtbmc`

`[script]`	`[script]`
`read -sv -DUFIFO -formal ufifo.v`	`read -formal -DUFIFO ufifo.v`
`prep -top ufifo`	`prep -top ufifo`

`[files]`	`[files]`
`../../rtl/ufifo.v`	`../../rtl/ufifo.v`

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.