SynchronizerTest.bsv
上传用户:aoptech
上传日期:2014-09-22
资源大小:784k
文件大小:3k
- //----------------------------------------------------------------------//
- // The MIT License
- //
- // Copyright (c) 2007 Alfred Man Cheuk Ng, mcn02@mit.edu
- //
- // Permission is hereby granted, free of charge, to any person
- // obtaining a copy of this software and associated documentation
- // files (the "Software"), to deal in the Software without
- // restriction, including without limitation the rights to use,
- // copy, modify, merge, publish, distribute, sublicense, and/or sell
- // copies of the Software, and to permit persons to whom the
- // Software is furnished to do so, subject to the following conditions:
- //
- // The above copyright notice and this permission notice shall be
- // included in all copies or substantial portions of the Software.
- //
- // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
- // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
- // OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
- // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
- // HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
- // WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
- // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
- // OTHER DEALINGS IN THE SOFTWARE.
- //----------------------------------------------------------------------//
- import DataTypes::*;
- import Interfaces::*;
- import Synchronizer::*;
- import FixedPoint::*;
- import Complex::*;
- import Preambles::*;
- import SynchronizerLibrary::*;
- import Vector::*;
- import RegFile::*;
- import FPComplex::*;
- import GetPut::*;
- import Controls::*;
- (* synthesize *)
- module mkSynchronizerTest(Empty);
- // states
- Synchronizer#(2,14) synchronizer <- mkSynchronizer();
-
- Reg#(Bit#(10)) inCounter <- mkReg(0);
- Reg#(Bit#(10)) outCounter <- mkReg(0);
-
- // constant
- RegFile#(Bit#(10),FPComplex#(2,14)) packet <- mkPacket();
- RegFile#(Bit#(10), FPComplex#(2,14)) tweakedPacket <- mkTweakedPacket();
- Reg#(Bit#(32)) cycle <- mkReg(0);
- rule toSynchronizer(True);
- begin
- FPComplex#(2,14) inCmplx = tweakedPacket.sub(inCounter);
- inCounter <= inCounter + 1;
- synchronizer.in.put(inCmplx);
- $write("Execute toSync at %d:",inCounter);
- cmplxWrite("("," + "," i)",fxptWrite(7),inCmplx);
- $display("");
- end
- endrule
- rule fromSynchronizerToUnserializer(True);
- begin
- let result <- synchronizer.out.get;
- let resultCmplx = result.data;
- outCounter <= outCounter + 1;
- $write("Execute fromSyncToUnserializer at %d:", outCounter);
- $write("new message: %d, ", result.control.isNewPacket);
- cmplxWrite("("," + ","i)",fxptWrite(7),resultCmplx);
- $display("");
- $write("Expected Output at %d:", outCounter);
- cmplxWrite("("," + ","i)",fxptWrite(7),packet.sub(outCounter));
- $display("");
- end
- endrule
-
- // tick
- rule tick(True);
- cycle <= cycle + 1;
- if (cycle == 100000)
- $finish();
- $display("cycle: %d",cycle);
- endrule
-
- endmodule