aboutsummaryrefslogtreecommitdiffstats
path: root/tests/asicworld/code_hdl_models_parallel_crc.v
blob: d8d0bf1c6264967fbb429852527e4fc7c5ba5268 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
//-----------------------------------------------------
// Design Name : parallel_crc_ccitt
// File Name   : parallel_crc.v
// Function    : CCITT Parallel CRC
// Coder       : Deepak Kumar Tala
//-----------------------------------------------------
module parallel_crc_ccitt (
clk     ,
reset   ,
enable  ,
init    , 
data_in , 
crc_out
);
//-----------Input Ports---------------
input clk     ;
input reset   ;
input enable  ;
input init    ;
input [7:0] data_in ;
//-----------Output Ports---------------
output [15:0] crc_out;
//------------Internal Variables--------
reg [15:0]   crc_reg;
wire [15:0]  next_crc;
//-------------Code Start-----------------
assign crc_out = crc_reg;
// CRC Control logic
always @ (posedge clk)
if (reset) begin
  crc_reg <= 16'hFFFF;
end else if (enable) begin
  if (init) begin
     crc_reg <= 16'hFFFF;
  end else begin
     crc_reg <= next_crc;
  end
end
// Parallel CRC calculation
assign next_crc[0] = data_in[7] ^ data_in[0] ^ crc_reg[4] ^ crc_reg[11];
assign next_crc[1] = data_in[1] ^ crc_reg[5];
assign next_crc[2] = data_in[2] ^ crc_reg[6];
assign next_crc[3] = data_in[3] ^ crc_reg[7];
assign next_crc[4] = data_in[4] ^ crc_reg[8];
assign next_crc[5] = data_in[7] ^ data_in[5] ^ data_in[0] ^ crc_reg[4] ^ crc_reg[9] ^ crc_reg[11];
assign next_crc[6] = data_in[6] ^ data_in[1] ^ crc_reg[5] ^ crc_reg[10];
assign next_crc[7] = data_in[7] ^ data_in[2] ^ crc_reg[6] ^ crc_reg[11];
assign next_crc[8] = data_in[3] ^ crc_reg[0] ^ crc_reg[7];
assign next_crc[9] = data_in[4] ^ crc_reg[1] ^ crc_reg[8];
assign next_crc[10] = data_in[5] ^ crc_reg[2] ^ crc_reg[9];
assign next_crc[11] = data_in[6] ^ crc_reg[3] ^ crc_reg[10];

endmodule
gPool { struct bitDef_t : public std::pair<RTLIL::Wire*, int> { bitDef_t() : std::pair<RTLIL::Wire*, int>(NULL, 0) { } bitDef_t(const RTLIL::SigBit &bit) : std::pair<RTLIL::Wire*, int>(bit.wire, bit.offset) { } unsigned int hash() const { return first->name.hash() + second; } }; pool<bitDef_t> bits; void clear() { bits.clear(); } void add(RTLIL::SigSpec sig) { for (auto &bit : sig) if (bit.wire != NULL) bits.insert(bit); } void add(const SigPool &other) { for (auto &bit : other.bits) bits.insert(bit); } void del(RTLIL::SigSpec sig) { for (auto &bit : sig) if (bit.wire != NULL) bits.erase(bit); } void del(const SigPool &other) { for (auto &bit : other.bits) bits.erase(bit); } void expand(RTLIL::SigSpec from, RTLIL::SigSpec to) { log_assert(GetSize(from) == GetSize(to)); for (int i = 0; i < GetSize(from); i++) { bitDef_t bit_from(from[i]), bit_to(to[i]); if (bit_from.first != NULL && bit_to.first != NULL && bits.count(bit_from) > 0) bits.insert(bit_to); } } RTLIL::SigSpec extract(RTLIL::SigSpec sig) { RTLIL::SigSpec result; for (auto &bit : sig) if (bit.wire != NULL && bits.count(bit)) result.append_bit(bit); return result; } RTLIL::SigSpec remove(RTLIL::SigSpec sig) { RTLIL::SigSpec result; for (auto &bit : sig) if (bit.wire != NULL && bits.count(bit) == 0) result.append(bit); return result; } bool check(RTLIL::SigBit bit) { return bit.wire != NULL && bits.count(bit); } bool check_any(RTLIL::SigSpec sig) { for (auto &bit : sig) if (bit.wire != NULL && bits.count(bit)) return true; return false; } bool check_all(RTLIL::SigSpec sig) { for (auto &bit : sig) if (bit.wire != NULL && bits.count(bit) == 0) return false; return true; } RTLIL::SigSpec export_one() { for (auto &bit : bits) return RTLIL::SigSpec(bit.first, bit.second); return RTLIL::SigSpec(); } RTLIL::SigSpec export_all() { pool<RTLIL::SigBit> sig; for (auto &bit : bits) sig.insert(RTLIL::SigBit(bit.first, bit.second)); return sig; } size_t size() const { return bits.size(); } }; template <typename T, class Compare = std::less<T>> struct SigSet { struct bitDef_t : public std::pair<RTLIL::Wire*, int> { bitDef_t() : std::pair<RTLIL::Wire*, int>(NULL, 0) { } bitDef_t(const RTLIL::SigBit &bit) : std::pair<RTLIL::Wire*, int>(bit.wire, bit.offset) { } unsigned int hash() const { return first->name.hash() + second; } }; dict<bitDef_t, std::set<T, Compare>> bits; void clear() { bits.clear(); } void insert(RTLIL::SigSpec sig, T data) { for (auto &bit : sig) if (bit.wire != NULL) bits[bit].insert(data); } void insert(RTLIL::SigSpec sig, const std::set<T> &data) { for (auto &bit : sig) if (bit.wire != NULL) bits[bit].insert(data.begin(), data.end()); } void erase(RTLIL::SigSpec sig) { for (auto &bit : sig) if (bit.wire != NULL) bits[bit].clear(); } void erase(RTLIL::SigSpec sig, T data) { for (auto &bit : sig) if (bit.wire != NULL) bits[bit].erase(data); } void erase(RTLIL::SigSpec sig, const std::set<T> &data) { for (auto &bit : sig) if (bit.wire != NULL) bits[bit].erase(data.begin(), data.end()); } void find(RTLIL::SigSpec sig, std::set<T> &result) { for (auto &bit : sig) if (bit.wire != NULL) { auto &data = bits[bit]; result.insert(data.begin(), data.end()); } } void find(RTLIL::SigSpec sig, pool<T> &result) { for (auto &bit : sig) if (bit.wire != NULL) { auto &data = bits[bit]; result.insert(data.begin(), data.end()); } } std::set<T> find(RTLIL::SigSpec sig) { std::set<T> result; find(sig, result); return result; } bool has(RTLIL::SigSpec sig) { for (auto &bit : sig) if (bit.wire != NULL && bits.count(bit)) return true; return false; } }; struct SigMap { mfp<SigBit> database; SigMap(RTLIL::Module *module = NULL) { if (module != NULL) set(module); } void swap(SigMap &other) { database.swap(other.database); } void clear() { database.clear(); } void set(RTLIL::Module *module) { int bitcount = 0; for (auto &it : module->connections()) bitcount += it.first.size(); database.clear(); database.reserve(bitcount); for (auto &it : module->connections()) add(it.first, it.second); } void add(RTLIL::SigSpec from, RTLIL::SigSpec to) { log_assert(GetSize(from) == GetSize(to)); for (int i = 0; i < GetSize(from); i++) { int bfi = database.lookup(from[i]); int bti = database.lookup(to[i]); const RTLIL::SigBit &bf = database[bfi]; const RTLIL::SigBit &bt = database[bti]; if (bf.wire || bt.wire) { database.imerge(bfi, bti); if (bf.wire == nullptr) database.ipromote(bfi); if (bt.wire == nullptr) database.ipromote(bti); } } } void add(RTLIL::SigSpec sig) { for (auto &bit : sig) { RTLIL::SigBit b = database.find(bit); if (b.wire != nullptr) database.promote(bit); } } void apply(RTLIL::SigBit &bit) const { bit = database.find(bit); } void apply(RTLIL::SigSpec &sig) const { for (auto &bit : sig) apply(bit); } RTLIL::SigBit operator()(RTLIL::SigBit bit) const { apply(bit); return bit; } RTLIL::SigSpec operator()(RTLIL::SigSpec sig) const { apply(sig); return sig; } RTLIL::SigSpec operator()(RTLIL::Wire *wire) const { SigSpec sig(wire); apply(sig); return sig; } RTLIL::SigSpec allbits() const { RTLIL::SigSpec sig; for (auto &bit : database) if (bit.wire != nullptr) sig.append(bit); return sig; } }; YOSYS_NAMESPACE_END #endif /* SIGTOOLS_H */