From ykman@imec.be Mon Jul 10 11:18:57 1995 Date: Mon, 10 Jul 1995 12:12:15 +0200 From: Chantal Ykman To: asynchronous-private@pharos.cs.columbia.edu Subject: assassin2.0 Content-Length: 1511 X-Lines: 49 Status: RO Dear everybody, assassin2.0 is now available by ftp at imec.be. ASSASSIN is the IMEC compiler for synthesis and analysis of asynchronous control circuits. The software is written in C and should be portable to most workstation platforms. ASSASSIN currently accepts as input specification either a generalised Signal Transition Graph (STG) or a burst-mode asynchronous FSM or a state graph. The commands are currently intended to produce a hazard-free asynchronous circuit from either of these input specifications. Specifically, the Complete State Coding (CSC) property is ensured, hazard-freeness at the observable non-input signals is guaranteed and information on the latch initialization is provided. The output of ASSASSIN may be either an STG or a state graph or a logic implementation. So to access it ... 1. Do the command "open imec.be". 2. Login as "anonymous" with your full email address as password. 3. Do the command "cd /pub/vsdm/SW-distrib/assassin". 4. Do the command "get assassin2.0.tar" This should work. At this point you need to untar the file. The command "tar xvf assassin2.0.tar" should work. The resulting software is put into a new directory called assassin2.0. The enclosed README file gives more installation information. For any question or comment, don't hesistate to contact us. In advance thank you very much for your feedback. Chantal Ykman. IMEC, Division VSDM Kapeldreef 75 B-3001 Leuven Belgium e-mail: ykman@imec.be tel: +32 16 281228 fax: +32 16 281515