1 /**CFile**************************************************************** 2 3 FileName [simSat.c] 4 5 SystemName [ABC: Logic synthesis and verification system.] 6 7 PackageName [Network and node package.] 8 9 Synopsis [Simulation to determine functional support.] 10 11 Author [Alan Mishchenko] 12 13 Affiliation [UC Berkeley] 14 15 Date [Ver. 1.0. Started - June 20, 2005.] 16 17 Revision [$Id: simSat.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] 18 19 ***********************************************************************/ 20 21 #include "base/abc/abc.h" 22 #include "sim.h" 23 24 ABC_NAMESPACE_IMPL_START 25 26 27 //////////////////////////////////////////////////////////////////////// 28 /// DECLARATIONS /// 29 //////////////////////////////////////////////////////////////////////// 30 31 //////////////////////////////////////////////////////////////////////// 32 /// FUNCTION DEFINITIONS /// 33 //////////////////////////////////////////////////////////////////////// 34 35 /**Function************************************************************* 36 37 Synopsis [] 38 39 Description [] 40 41 SideEffects [] 42 43 SeeAlso [] 44 45 ***********************************************************************/ 46 47 //////////////////////////////////////////////////////////////////////// 48 /// END OF FILE /// 49 //////////////////////////////////////////////////////////////////////// 50 51 52 ABC_NAMESPACE_IMPL_END 53 54