-- Fichier : basculed_raz.vhd                       
-- Société : ENSERB                       
-- Auteur : P.Nouel
-- 		 Bascule d avec raz,ra1 et sorties complémentaires
-- Spécification d'entité                  
------------------------------------------------------------------------------
ENTITY basculed_raz IS 

	PORT (  h, d ,raz : IN BIT;
               	    s, sb : OUT BIT);

	USE WORK.utils.all; 
	CONSTANT Tsetup : Time := 5 ns; 
BEGIN
	verif_precond (h,d, Tsetup);

END basculed_raz ;

-----------------------------------------------------------------------------, ARCHITECTURE simple OF basculed_raz IS

BEGIN
 
	P1:PROCESS
	  VARIABLE stmp : BIT;
	  BEGIN
		WAIT UNTIL h = '1' AND h'LAST_VALUE = '0';
		IF raz = '1' THEN
			stmp := '0';
		ELSE
			stmp := d;
		END IF;
		s <= stmp;  	
	  END PROCESS;

END simple ;