library ieee;  --tex comment 
use ieee.std_logic_1164.all;  --tex comment 
use work.nondeterminism.all;  --tex comment 
use work.handshake.all;  --tex comment 

entity winery_bundled is  --tex comment 
  port(req_wine:buffer std_logic := '0';  --tex comment 
       ack_wine:in std_logic;  --tex comment 
       bottle:buffer std_logic_vector(2 downto 0) := "000");  --tex comment 
end winery_bundled;  --tex comment 

architecture four_phase of winery_bundled is  --tex comment 
begin  --tex comment 
--\begin{algorithm}
--\small
winery_bundled_4phase:process
begin
  --@synthesis_off
  bottle <= selection(8,3);
  wait for delay(5,10);
  --@synthesis_on
  assign(req_wine,'1',1,3);   -- call shop
  guard(ack_wine,'1');        -- wine delivered
  assign(req_wine,'0',1,3);   -- reset req_wine
  guard(ack_wine,'0');        -- ack_wine resets
end process;
--\end{algorithm}
end four_phase;  --tex comment