-- Copyright (C) 2002 Morgan Kaufmann Publishers, Inc
-- This file is part of VESTs (Vhdl tESTs).
-- VESTs is free software; you can redistribute it and/or modify it
-- under the terms of the GNU General Public License as published by the
-- Free Software Foundation; either version 2 of the License, or (at
-- your option) any later version.
-- VESTs is distributed in the hope that it will be useful, but WITHOUT
-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
-- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-- for more details.
-- You should have received a copy of the GNU General Public License
-- along with VESTs; if not, write to the Free Software Foundation,
-- Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
entity inline_01a is
end entity inline_01a;
----------------------------------------------------------------
architecture test of inline_01a is
begin
section_1_a : process is
-- code from book:
constant number_of_bytes : integer := 4;
constant number_of_bits : integer := 8 * number_of_bytes;
constant e : real := 2.718281828;
constant prop_delay : time := 3 ns;
constant q : real := 1.60218E-19;
constant resistivity : real := 2.5E5;
--
variable index : integer := 0;
variable temperature : real;
variable start, finish : time := 0 ns;
-- end of code from book
begin
wait;
end process section_1_a;
----------------
section_1_b : process is
-- code from book:
variable start : time := 0 ns;
variable finish : time := 0 ns;
-- end of code from book
variable program_counter : integer;
variable index : integer;
variable resonance_frequency : real;
constant L, C : real := 0.0;
begin
-- code from book:
program_counter := 0;
index := index + 1;
resonance_frequency := L * C;
-- end of code from book
wait;
end process section_1_b;
----------------
section_2_a : process is
-- code from book:
type apples is range 0 to 100;
type oranges is range 0 to 100;
--
type day_of_month is range 0 to 31;
type year is range 0 to 2100;
variable today : day_of_month := 9;
variable start_year : year := 1987;
--
constant number_of_bits : integer := 32;
type bit_index is range 0 to number_of_bits - 1;
--
type set_index_range is range 21 downto 11;
type mode_pos_range is range 5 to 7;
variable set_index : set_index_range;
variable mode_pos : mode_pos_range;
--
type input_level is range -10.0 to +10.0;
type probability is range 0.0 to 1.0;
--
variable input_A : input_level;
-- end of code from book
begin
-- code from book:
-- error: Incompatible types for assignment
-- start_year := today;
-- end of code from book
wait;
end process section_2_a;
----------------
section_2_b : process is
-- code from book:
type resistance is range 0 to 1E9
units
ohm;
end units resistance;
-- end of code from book
begin
wait;
end process section_2_b;
----------------
section_2_c : process is
-- code from book:
type resistance is range 0 to 1E9
units
ohm;
kohm = 1000 ohm;
Mohm = 1000 kohm;
end units resistance;
-- end of code from book
begin
wait;
end process section_2_c;
----------------
section_2_d : process is
-- code from book:
type length is range 0 to 1E9
units
um; -- primary unit: micron
mm = 1000 um; -- metric units
m = 1000 mm;
inch = 25400 um; -- imperial units
foot = 12 inch;
end units length;
-- end of code from book
begin
wait;
end process section_2_d;
----------------
section_2_e : process is
-- code from book:
-- type time is range implementation_defined
type time is range integer'low to integer'high
units
fs;
ps = 1000 fs;
ns = 1000 ps;
us = 1000 ns;
ms = 1000 us;
sec = 1000 ms;
min = 60 sec;
hr = 60 min;
end units;
-- end of code from book
begin
wait;
end process section_2_e;
----------------
section_2_f : process is
-- code from book:
type transistor_region is (linear, saturation);
--
type octal_digit is ('0', '1', '2', '3', '4', '5', '6', '7');
--
variable transistor_state : transistor_region;
variable last_digit : octal_digit := '0';
--
type logic_level is (unknown, low, undriven, high);
variable control : logic_level;
type water_level is (dangerously_low, low, ok);
variable water_sensor : water_level;
-- end of code from book
begin
-- code from book:
transistor_state := linear;
last_digit := '7';
--
control := low;
water_sensor := low;
-- end of code from book
wait;
end process section_2_f;
----------------
section_2_g : process is
-- code from book:
type severity_level is (note, warning, error, failure);
type file_open_status is (open_ok, status_error, name_error, mode_error);
type file_open_kind is (read_mode, write_mode, append_mode);
type domain_type is (quiescent_domain, time_domain, frequency_domain);
-- end of code from book
begin
wait;
end process section_2_g;
----------------
section_2_g1 : process is
-- code from book:
type character is (
nul, soh, stx, etx, eot, enq, ack, bel,
bs, ht, lf, vt, ff, cr, so, si,
dle, dc1, dc2, dc3, dc4, nak, syn, etb,
can, em, sub, esc, fsp, gsp, rsp, usp,
' ', '!', '"', '#', '$', '%', '&', ''',
'(', ')', '*', '+', ',', '-', '.', '/',
'0', '1', '2', '3', '4', '5', '6', '7',
'8', '9', ':', ';', '<', '=', '>', '?',
'@', 'A', 'B', 'C', 'D', 'E', 'F', 'G',
'H', 'I', 'J', 'K', 'L', 'M', 'N', 'O',
'P', 'Q', 'R', 'S', 'T', 'U', 'V', 'W',
'X', 'Y', 'Z', '[', '\', ']', '^', '_',
'`', 'a', 'b', 'c', 'd', 'e', 'f', 'g',
'h', 'i', 'j', 'k', 'l', 'm', 'n', 'o',
'p', 'q', 'r', 's', 't', 'u', 'v', 'w',
'x', 'y', 'z', '{', '|', '}', '~', DEL,
c128, c129, c130, c131, c132, c133, c134, c135,
c136, c137, c138, c139, c140, c141, c142, c143,
c144, c145, c146, c147, c148, c149, c150, c151,
c152, c153, c154, c155, c156, c157, c158, c159,
'�', '�', '�', '�', '�', '�', '�', '�',
'�', '�', '�', '�', '�', '�', '�', '�',
'�', '�', '�', '�', '�', '�', '�', '�',
'�', '�', '�', '�', '�', '�', '�', '�',
'�', '�', '�', '�', '�', '�', '�', '�',
'�', '�', '�', '�', '�', '�', '�', '�',
'�', '�', '�', '�', '�', '�', '�', '�',
'�', '�', '�', '�', '�', '�', '�', '�',
'�', '�', '�', '�', '�', '�', '�', '�',
'�', '�', '�', '�', '�', '�', '�', '�',
'�', '�', '�', '�', '�', '�', '�', '�',
'�', '�', '�', '�', '�', '�', '�', '�');
-- end of code from book
begin
wait;
end process section_2_g1;
----------------
section_2_h : process is
-- code from book:
variable cmd_char, terminator : character;
-- end of code from book
begin
-- code from book:
cmd_char := 'P';
terminator := cr;
-- end of code from book
wait;
end process section_2_h;
----------------
section_2_i : process is
-- code from book:
type boolean is (false, true);
--
type bit is ('0', '1');
-- end of code from book
begin
wait;
end process section_2_i;
----------------
section_2_j : process is
variable write_enable_n, select_reg_n, write_reg_n : bit;
begin
-- code from book:
write_reg_n := not ( not write_enable_n and not select_reg_n );
-- end of code from book
wait;
end process section_2_j;
----------------
section_2_k : process is
-- code from book:
type std_ulogic is ( 'U', -- Uninitialized
'X', -- Forcing Unknown
'0', -- Forcing zero
'1', -- Forcing one
'Z', -- High Impedance
'W', -- Weak Unknown
'L', -- Weak zero
'H', -- Weak one
'-' ); -- Don't care
-- end of code from book
begin
wait;
end process section_2_k;
----------------
section_3_a : process is
-- code from book:
subtype small_int is integer range -128 to 127;
--
variable deviation : small_int;
variable adjustment : integer;
--
subtype bit_index is integer range 31 downto 0;
-- end of code from book
begin
deviation := 0;
adjustment := 0;
-- code from book:
deviation := deviation + adjustment;
-- end of code from book
wait;
end process section_3_a;
----------------
section_3_b : process is
constant highest_integer : integer := integer'high;
constant highest_time : time := time'high;
-- code from book:
subtype pressure is real tolerance "default_pressure";
--
subtype natural is integer range 0 to highest_integer;
subtype positive is integer range 1 to highest_integer;
--
subtype delay_length is time range 0 fs to highest_time;
-- end of code from book
begin
wait;
end process section_3_b;
----------------
section_3_c : process is
-- code from book:
type logic_level is (unknown, low, undriven, high);
type transistor_state is (unknown, unsaturated, saturated);
--
subtype valid_level is logic_level range low to high;
-- end of code from book
begin
wait;
end process section_3_c;
----------------
section_4_a : block is
-- code from book:
subtype voltage is real tolerance "default_voltage";
subtype current is real tolerance "default_current";
nature electrical is
voltage across
current through
electrical_ref reference;
--
terminal in_plus, in_minus, preamp_out : electrical;
--
quantity signal_level across in_plus to in_minus;
quantity output_level across output_current through preamp_out;
-- end of code from book
begin
end block section_4_a;
----------------
section_4_b : block is
-- code from book:
subtype temperature is real tolerance "default_temperature";
subtype heat_flow is real tolerance "default_heat_flow";
subtype cryo_temp is real tolerance "default_temperature";
subtype cryo_flow is real tolerance "default_heat_flow";
nature thermal is
temperature across
heat_flow through
thermal_ref reference;
nature cryogenic is
cryo_temp across
cryo_flow through
cryo_ref reference;
--
subtype illuminance is real tolerance "default_illuminance";
subtype optic_flux is real tolerance "default_optic_flux";
nature radiant is
illuminance across
optic_flux through
radiant_ref reference;
-- end of code from book
begin
end block section_4_b;
----------------
section_4_c : block is
subtype voltage is real tolerance "default_voltage";
subtype current is real tolerance "default_current";
nature electrical is
voltage across
current through
electrical_ref reference;
-- code from book:
subnature coarse_electrical is electrical
tolerance "coarse_voltage" across "coarse_current" through;
terminal supply_plus, supply_minus : coarse_electrical;
terminal bias : electrical;
quantity bias_pullup_v across supply_plus to bias;
quantity bias_pulldown_v across bias to supply_minus;
-- end of code from book
begin
end block section_4_c;
----------------
section_5_a : process is
-- code from book:
type resistance is range 0 to 1E9
units
ohm;
kohm = 1000 ohm;
Mohm = 1000 kohm;
end units resistance;
type set_index_range is range 21 downto 11;
type logic_level is (unknown, low, undriven, high);
-- end of code from book
begin
-- output from vsim: "2000"
report resistance'image(2 kohm);
-- code from book:
assert resistance'left = 0 ohm;
assert resistance'right = 1E9 ohm;
assert resistance'low = 0 ohm;
assert resistance'high = 1E9 ohm;
assert resistance'ascending = true;
assert resistance'image(2 kohm) = "2000 ohm";
assert resistance'value("5 Mohm") = 5_000_000 ohm;
assert set_index_range'left = 21;
assert set_index_range'right = 11;
assert set_index_range'low = 11;
assert set_index_range'high = 21;
assert set_index_range'ascending = false;
assert set_index_range'image(14) = "14";
assert set_index_range'value("20") = 20;
assert logic_level'left = unknown;
assert logic_level'right = high;
assert logic_level'low = unknown;
assert logic_level'high = high;
assert logic_level'ascending = true;
assert logic_level'image(undriven) = "undriven";
assert logic_level'value("Low") = low;
--
assert logic_level'pos(unknown) = 0;
assert logic_level'val(3) = high;
assert logic_level'succ(unknown) = low;
assert logic_level'pred(undriven) = low;
--
assert time'pos(4 ns) = 4_000_000;
-- end of code from book
wait;
end process section_5_a;
----------------
section_5_b : process is
-- code from book:
type length is range integer'low to integer'high
units
mm;
end units length;
type area is range integer'low to integer'high
units
square_mm;
end units area;
--
variable L1, L2 : length;
variable A : area;
-- end of code from book
begin
-- code from book:
-- error: No feasible entries for infix op: "*"
-- A := L1 * L2; -- this is incorrect
--
A := area'val( length'pos(L1) * length'pos(L2) );
-- end of code from book
wait;
end process section_5_b;
----------------
section_5_c : process is
-- code from book:
subtype voltage is real tolerance "default_voltage";
subtype high_current is real tolerance "coarse_current";
--
type gear is (unknown, park, reverse, neutral, first, second, third, fourth, fifth);
subtype forward is gear range first to fifth;
-- end of code from book
begin
-- code from book:
assert voltage'tolerance = "default_voltage";
assert high_current'tolerance = "coarse_current";
--
assert forward'base'left = unknown;
assert forward'base'succ(reverse) = neutral;
-- end of code from book
wait;
end process section_5_c;
----------------
section_5_d : block is
-- code from book:
subtype displacement is real tolerance "default_displacement";
subtype force is real tolerance "default_force";
nature translational is
displacement across
force through
translational_ref reference;
--
quantity qdisp : translational'across; -- declares quantity of type displacement
quantity qforce : translational'through; -- declares quantity of type force
-- end of code from book
begin
end block section_5_d;
end architecture test;