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

Subversion Repositories dblclockfft

[/] [dblclockfft/] [trunk/] [bench/] [formal/] [abs_mpy.v] - Rev 40

Rev	Log message	Author	Age	Path
40	Updated SBY files for formally verifying the FFT	dgisselq	2077d 17h	/dblclockfft/trunk/bench/formal/abs_mpy.v
36	Added several new modes to the FFT This makes the FFT core generator a generator for a generic pipelined FFT--whether it be two samples per clock, one sample per clock, one sample per two clocks, or even one sample every three clocks. This version works in simulation, with some formal checks as well.	dgisselq	2336d 22h	/dblclockfft/trunk/bench/formal/abs_mpy.v