Subversion Repositories idea

-- VHDL data flow description generated from `heart_ctrl_bopo`

--              date : Mon Sep 10 23:10:23 2001

-- Entity Declaration

ENTITY heart_ctrl_bopo IS

  PORT (

  ck : in BIT;  -- ck

  reset : in BIT;       -- reset

  start : in BIT;       -- start

  key_ready : in BIT;   -- key_ready

  round : out bit_vector(2 DOWNTO 0) ;  -- round

  en1 : out BIT;        -- en1

  en2 : out BIT;        -- en2

  en3 : out BIT;        -- en3

  en4 : out BIT;        -- en4

  en5 : out BIT;        -- en5

  en6 : out BIT;        -- en6

  en7 : out BIT;        -- en7

  en_out : out BIT;     -- en_out

  en_key_out : out BIT; -- en_key_out

  sel_in : out BIT;     -- sel_in

  finish : out BIT;     -- finish

  vdd : in BIT; -- vdd

  vss : in BIT  -- vss

  );

END heart_ctrl_bopo;

-- Architecture Declaration

ARCHITECTURE behaviour_data_flow OF heart_ctrl_bopo IS

  SIGNAL current_state : REG_VECTOR(6 DOWNTO 0) REGISTER;       -- current_state

  SIGNAL aux303 : BIT;          -- aux303

  SIGNAL aux302 : BIT;          -- aux302

  SIGNAL aux300 : BIT;          -- aux300

  SIGNAL aux299 : BIT;          -- aux299

  SIGNAL aux279 : BIT;          -- aux279

  SIGNAL aux278 : BIT;          -- aux278

  SIGNAL aux275 : BIT;          -- aux275

  SIGNAL aux273 : BIT;          -- aux273

  SIGNAL aux269 : BIT;          -- aux269

  SIGNAL aux266 : BIT;          -- aux266

  SIGNAL aux265 : BIT;          -- aux265

  SIGNAL aux263 : BIT;          -- aux263

  SIGNAL aux257 : BIT;          -- aux257

  SIGNAL aux255 : BIT;          -- aux255

  SIGNAL aux252 : BIT;          -- aux252

  SIGNAL aux251 : BIT;          -- aux251

  SIGNAL aux250 : BIT;          -- aux250

  SIGNAL aux245 : BIT;          -- aux245

  SIGNAL aux244 : BIT;          -- aux244

  SIGNAL aux243 : BIT;          -- aux243

  SIGNAL aux242 : BIT;          -- aux242

  SIGNAL aux241 : BIT;          -- aux241

  SIGNAL aux240 : BIT;          -- aux240

  SIGNAL aux239 : BIT;          -- aux239

  SIGNAL aux237 : BIT;          -- aux237

  SIGNAL aux236 : BIT;          -- aux236

  SIGNAL aux234 : BIT;          -- aux234

  SIGNAL aux231 : BIT;          -- aux231

  SIGNAL aux229 : BIT;          -- aux229

  SIGNAL aux228 : BIT;          -- aux228

  SIGNAL aux227 : BIT;          -- aux227

  SIGNAL aux226 : BIT;          -- aux226

  SIGNAL aux224 : BIT;          -- aux224

  SIGNAL aux223 : BIT;          -- aux223

  SIGNAL aux221 : BIT;          -- aux221

  SIGNAL aux220 : BIT;          -- aux220

  SIGNAL aux218 : BIT;          -- aux218

  SIGNAL aux217 : BIT;          -- aux217

  SIGNAL aux215 : BIT;          -- aux215

  SIGNAL aux281 : BIT;          -- aux281

  SIGNAL aux282 : BIT;          -- aux282

  SIGNAL aux285 : BIT;          -- aux285

BEGIN

  aux285 <= (not (current_state (3)) and current_state (4));

  aux282 <= (not (current_state (4)) and current_state (2));

  aux281 <= (current_state (3) and not (reset) and current_state (6));

  aux215 <= (current_state (5) and current_state (1));

  aux217 <= not ((not (current_state (0)) or current_state (5)));

  aux218 <= not ((current_state (2) or not (aux217)));

  aux220 <= (not (current_state (5)) and current_state (2));

  aux221 <= (current_state (5) and current_state (0));

  aux223 <= not ((not (current_state (0)) or not (current_state (1))));

  aux224 <= not ((not (current_state (2)) or not (aux223)));

  aux226 <= not ((current_state (5) or current_state (0)));

  aux227 <= (not (current_state (2)) and current_state (1));

  aux228 <= (not (current_state (0)) and not (aux215));

  aux229 <= (not (current_state (2)) and current_state (3) and aux228);

  aux231 <= (not (current_state (5)) and current_state (1));

  aux234 <= (not (current_state (5)) and not (current_state (1)));

  aux236 <= (not (current_state (2)) and not (current_state (1)));

  aux237 <= not ((not (current_state (1)) or current_state (0)));

  aux239 <= (not (current_state (1)) and current_state (5));

  aux240 <= (current_state (0) and aux239);

  aux241 <= (aux282 and aux240);

  aux242 <= (not (current_state (2)) or aux234);

  aux243 <= (current_state (5) xor current_state (1));

  aux244 <= (current_state (0) and aux234);

  aux245 <= (current_state (2) and current_state (0));

  aux250 <= (current_state (4) and current_state (2) and not ((current_state

(1) or current_state (0))));

  aux251 <= (aux217 or not ((current_state (1) or current_state (0))));

  aux252 <= not ((current_state (1) or not (aux245)));

  aux255 <= (not (current_state (0)) and current_state (2));

  aux257 <= (not (current_state (1)) and current_state (0));

  aux263 <= (current_state (0) and aux243);

  aux265 <= (not (current_state (2)) and not (aux226));

  aux266 <= (not (current_state (2)) and aux223);

  aux269 <= (current_state (4) and not (current_state (0)) and aux239);

  aux273 <= not ((not (current_state (0)) or aux231));

  aux275 <= not ((not (current_state (2)) or current_state (1)));

  aux278 <= (aux226 or aux231);

  aux279 <= (current_state (5) and not (aux257));

  aux299 <= (current_state (3) or (current_state (2) and not ((current_state

(1) or current_state (0)))));

  aux300 <= not ((not (current_state (2)) or aux239));

  aux302 <= not ((not (aux234) and aux255));

  aux303 <= not ((not (current_state (2)) or aux215 or aux244));

  label0 : BLOCK ((ck and not (ck'STABLE)) = '1')

  BEGIN

    current_state (0) <= GUARDED (not (reset) and ((not (current_state (6)) and (aux231 or aux220

or (current_state (4) and aux226) or (aux275 and aux285) or

(not (current_state (0)) and not (current_state (5)) and start

and key_ready) or (not (current_state (4)) and current_state

(0) and not (aux275)) or (current_state (3) and not ((current_state

(2) or aux237))))) or (current_state (6) and (not (current_state

(2)) or current_state (3) or not (aux243) or aux273) and (current_state

(3) or not (aux273) or (not (current_state (4)) and not (aux236)))

and (not (current_state (3)) or (not (current_state (2)) and

aux231) or (not (current_state (0)) and aux239) or aux241) and

(current_state (4) or (not (current_state (3)) and aux273) or

(current_state (3) and aux241)))));

  END BLOCK label0;

  label1 : BLOCK ((ck and not (ck'STABLE)) = '1')

  BEGIN

    current_state (1) <= GUARDED (not (reset) and ((current_state (6) and (not (current_state

(3)) or not (current_state (4)) or current_state (1)) and (current_state

(4) or current_state (3) or aux275 or aux251) and (not (current_state

(3)) or current_state (4) or aux231 or aux239 or aux257) and

(not (current_state (2)) or not (current_state (3)) or (current_state

(4) and aux221) or (not (current_state (4)) and (aux231 or aux257)))

and (not (current_state (4)) or aux299 or (not (current_state

(2)) and (aux223 or not (aux243))))) or (not (current_state

(6)) and ((not (current_state (3)) and not (current_state (4))

and aux252) or (aux285 and (current_state (2) or aux234) and

not ((current_state (1) xor current_state (0)))) or (not (current_state

(3)) and not (current_state (4)) and not (current_state (2))

and (aux215 or aux244)) or (not (current_state (3)) and current_state

(2) and not ((not (aux217) and (current_state (0) or aux243))))

or (current_state (3) and (not (current_state (4)) or not (current_state

(5)) or aux236) and ((current_state (2) and not ((current_state

(0) xor aux239))) or (not (current_state (2)) and (aux237 or

aux273))))))));

  END BLOCK label1;

  label2 : BLOCK ((ck and not (ck'STABLE)) = '1')

  BEGIN

    current_state (2) <= GUARDED (not (reset) and ((not (current_state (6)) and (not (current_state

(4)) or current_state (3) or aux300 or aux278) and (not (current_state

(3)) or aux220 or (not (current_state (4)) and aux275) or aux266)

and (current_state (4) or current_state (3) or aux217 or aux231

or (current_state (2) and aux239))) or (current_state (6) and

(not (current_state (4)) or current_state (3) or aux252 or (not

(current_state (2)) and (current_state (5) xor current_state

(0)))) and ((not (current_state (3)) and current_state (2) and

not (current_state (5)) and not (aux237)) or (not (current_state

(2)) and not (current_state (3)) and not (aux244)) or (not (current_state

(4)) and current_state (3) and (aux226 or aux239) and aux242)

or (current_state (4) and (not (current_state (3)) or aux240))))));

  END BLOCK label2;

  label3 : BLOCK ((ck and not (ck'STABLE)) = '1')

  BEGIN

    current_state (3) <= GUARDED (not (reset) and ((not (current_state (3)) and not (current_state

(2)) and current_state (6) and aux226) or (current_state (6)

and current_state (3) and not ((not (current_state (4)) and

current_state (5))) and (not (current_state (4)) or (current_state

(2) and aux234) or (not (current_state (2)) and aux240))) or

(not (current_state (3)) and current_state (6) and (not (current_state

(1)) or current_state (4)) and (current_state (4) or (current_state

(5) xor current_state (0))) and (not (current_state (4)) or

(aux234 and aux255) or (not (current_state (2)) and aux263)))

or (not (current_state (6)) and ((aux231 and aux255) or (current_state

(4) and not (current_state (2)) and aux234) or (aux285 and aux278)

or aux229 or aux241))));

  END BLOCK label3;

  label4 : BLOCK ((ck and not (ck'STABLE)) = '1')

  BEGIN

    current_state (4) <= GUARDED (not (reset) and ((not (current_state (6)) and (current_state

(4) or current_state (3) or aux218 or aux224) and (not (current_state

(3)) or (not (current_state (2)) and aux257) or (current_state

(2) and aux217) or (not (current_state (4)) and aux224)) and

(not (current_state (4)) or aux278 or aux299)) or (current_state

(6) and (not (current_state (3)) or ((current_state (4) or (current_state

(2) and current_state (1))) and ((not (current_state (0)) and

current_state (5)) or aux227))) and (current_state (3) or (not

(current_state (4)) and aux220) or (not (current_state (0))

and aux215) or (current_state (2) and not ((current_state (1)

or current_state (0)))) or (not ((current_state (4) or current_state

(2))) and not (aux263))))));

  END BLOCK label4;

  label5 : BLOCK ((ck and not (ck'STABLE)) = '1')

  BEGIN

    current_state (5) <= GUARDED (not (reset) and ((not (current_state (6)) and current_state

(3) and current_state (0) and aux242) or (not (current_state

(4)) and not ((not (aux255) or not (aux215)))) or (not (current_state

(6)) and aux285 and (aux234 or not (aux265))) or (not (current_state

(3)) and ((current_state (4) and aux245) or (not (current_state

(4)) and aux217))) or (current_state (6) and (current_state

(3) or (not (current_state (2)) and aux279) or (not (current_state

(4)) and aux302)) and (not (current_state (3)) or aux269 or

(aux282 and (current_state (1) xor aux221))))));

  END BLOCK label5;

  label6 : BLOCK ((ck and not (ck'STABLE)) = '1')

  BEGIN

    current_state (6) <= GUARDED (not (reset) and ((current_state (6) and (not (current_state

(3)) or (current_state (4) and not (aux245) and aux239) or (not

((not (current_state (1)) or current_state (4))) and (not (current_state

(5)) or aux255))) and ((not (current_state (2)) and not (aux279))

or (not (current_state (4)) and not ((current_state (2) and

aux221))) or aux299)) or (not (current_state (6)) and (not (current_state

(4)) or current_state (3) or (not (current_state (2)) and not

(current_state (5))) or aux303) and (aux285 or (current_state

(3) and not (current_state (2)) and current_state (0)) or (not

(current_state (3)) and aux244) or (not (current_state (4))

and (aux279 or aux265))))));

  END BLOCK label6;

finish <= (not (current_state (4)) and not (current_state (2)) and aux215

and aux281);

sel_in <= (reset or (not (current_state (6)) and (current_state (1) or

aux282 or (current_state (4) and not (aux226)) or not (((not

(current_state (3)) or current_state (5)) and not (aux221)))))

or (current_state (6) and (current_state (3) or (current_state

(4) and not (aux224)) or (not (current_state (4)) and (current_state

(2) or current_state (1) or current_state (0)))) and (not (current_state

(3)) or not (current_state (1)) or aux218 or (not (current_state

(4)) and current_state (2) and aux221) or (current_state (4)

and ((not (current_state (2)) and not (current_state (0))) or

aux220)))));

en_key_out <= (not (reset) and (not (current_state (6)) or (not (current_state

(4)) and current_state (3) and aux227)) and (aux229 or ((not

(current_state (4)) or current_state (2)) and aux226 and (current_state

(2) or current_state (1) or (start and key_ready)))));

en_out <= (not (current_state (4)) and current_state (2) and aux231 and

aux281);

en7 <= (not (reset) and (not (current_state (6)) or current_state (4)

or aux236 or (not (current_state (5)) and not (aux237))) and

(current_state (6) or aux241) and (not (current_state (6)) or

(current_state (3) and (not (current_state (4)) or aux221 or

(current_state (2) and aux234)))));

en6 <= (not (reset) and ((not (current_state (6)) and current_state

(4) and (not (current_state (3)) or aux244) and (aux231 or (not

(current_state (5)) and not (aux245)))) or (current_state (6)

and current_state (4) and aux242 and (not (current_state (3))

or aux240) and (not (current_state (0)) or aux243))));

en5 <= (not (reset) and ((not (current_state (3)) and aux250) or (current_state

(6) and ((not (current_state (3)) and not (current_state (4))

and current_state (2) and aux231) or (not (current_state (0))

and (current_state (4) or current_state (2)) and aux215) or

(current_state (4) and current_state (3) and ((not (current_state

(0)) and current_state (5)) or aux227))))));

en4 <= (not (current_state (3)) and not (reset) and current_state (6)

and (not (current_state (4)) or aux218) and (aux227 or aux251));

en3 <= (not (reset) and not (current_state (4)) and current_state (5)

and not (aux252) and (not (current_state (6)) or (not (current_state

(3)) and aux236)));

en2 <= (not (reset) and (current_state (6) or not ((not (current_state

(2)) or aux231))) and (current_state (4) or (current_state (6)

and aux221)) and (not (current_state (6)) or aux245 or (not

(current_state (2)) and aux215)) and (not (current_state (3))

or (not (current_state (4)) and aux240)));

en1 <= (not (reset) and ((current_state (3) and current_state (0) and

(not (current_state (2)) or not (current_state (5)))) or (aux217

and (not (current_state (4)) or (current_state (2) and current_state

(1))))) and (not (current_state (6)) or (not (current_state

(3)) and current_state (2) and aux244)));

round (0) <= (reset or (not (current_state (6)) and ((current_state (3) and

aux220) or (not (current_state (4)) and current_state (2) and

current_state (1)) or (current_state (2) and aux217) or (current_state

(5) and current_state (4) and (current_state (2) or aux237))

or (not (current_state (3)) and not (aux234) and (current_state

(4) or (not (current_state (2)) and (aux226 or aux257))))))

or (current_state (6) and ((current_state (4) and not (current_state

(5)) and not (aux245)) or (not (current_state (3)) and ((not

(current_state (4)) and not (current_state (2)) and aux257)

or aux250)) or (not (current_state (4)) and ((not (aux255) and

aux215) or (aux255 and aux243))) or (current_state (3) and ((not

(current_state (4)) and (aux217 or aux231)) or (current_state

(4) and ((not (aux215) and aux245) or (not (current_state (2))

and aux237))))))));

round (1) <= (reset or (not (current_state (6)) and current_state (3) and

not (aux236) and (current_state (0) or aux243)) or (not (current_state

(6)) and current_state (4) and (not (current_state (3)) or current_state

(1)) and (current_state (3) or aux257 or aux265)) or (not (current_state

(4)) and not (current_state (6)) and not (current_state (3))

and (current_state (2) or aux266) and (aux221 or aux266 or aux228))

or (current_state (6) and (not (current_state (4)) or current_state

(3) or current_state (2) or not ((current_state (1) or aux221)))

and (not (current_state (4)) or not (current_state (2)) or current_state

(3) or (current_state (1) xor current_state (0))) and ((current_state

(3) and ((not (current_state (5)) and current_state (4)) or

(not (current_state (4)) and not (aux234) and (not (aux255)

or not (aux215))))) or (not (current_state (3)) and (current_state

(4) or aux255 or aux263)))));

round (2) <= (reset or (current_state (6) and (current_state (3) or (current_state

(4) and ((not (current_state (2)) and current_state (0)) or

aux228)) or (not (current_state (4)) and not (aux236) and (current_state

(1) xor aux221))) and (not (current_state (3)) or (not (current_state

(2)) and aux234) or (current_state (2) and aux231) or aux269

or (not (current_state (4)) and (aux227 or (current_state (2)

and not (aux237)))))) or (not (current_state (6)) and (not ((not

(current_state (5)) or not (current_state (4)) or current_state

(2))) or (current_state (2) and aux285 and aux244) or not ((not

(aux215) and (not (current_state (0)) or not (aux282) or aux234)))

or (current_state (3) and (aux226 or (not (current_state (4))

and not (current_state (2)) and not (current_state (5))) or

(current_state (4) and not (aux234)))))));

END;