Veri cation formelle des circuits digi-taux decrits en VHDL

Partially pyrolyzed particles of macroporous resinous polymer have improved structural stability and utility. Pyrolyzed preformed beads are useful as adsorbents in both gaseous and liquid media to remove impurities such as vinylchloride monomer from gases, aromatic compounds such as barbituates from blood, and phenolics from industrial waste streams. Pyrolyzed materials are also useful as catalysts in industrial and laboratory applications due to the controllable surface area and due to a variety of metals, among other things, that may be incorporated into the particles prior to pyrolysis. Preferred adsorbents are prepared from pyrolyzed beads of macro-reticular ion exchange resins.