HDTenEightyP/NetNews huggingface dataset:
From: S_TITZ@iravcl.ira.uka.de (Olaf Titz)
Newsgroups: comp.security.misc
Subject: Re: Locking terminals (was Re: New Princeton Policy)
Date: 11 Sep 92 18:10:11 GMT
Organization: Fachschaft Informatik, Uni Karlsruhe
X-News-Reader: VMS NEWS 1.23

In <68006@hydra.gatech.EDU> dsm@prism.gatech.EDU writes:

>  In article <1992Sep10.161835.20380@rz.uni-karlsruhe.de> S_TITZ@iravcl.ira.uka.de (Olaf Titz) writes:
>  
>[Logging out users who have their screen locked with special lock program]
>  
>  This leaves out one very important problem.  Since the person who is using
>  the machine has ownership of the console, he/she can simply crank up his
>  own version of lock that doesn't have the logout feature.  Are you just going
>  to tell them that they can't run it?
>  
>  Heck, we hav trouble  keeping people from bringing in cokes into some of our
>  clusters (even though we have huge signs).  Somehow I think people would 
>  laugh at a reguirement to use the system lockscreen :)

One way to cope with this would be hacking some not-to-be-replaced-by-
the-user program (could be xdm) to count idle time and logging the
user out if he has done nothing for 15 minutes. (I guess we are
talking about users who are physically away.)

MfG,
        Olaf
-- 
    o     Olaf Titz - comp.sc.student - univ of karlsruhe - germany
 _ /<_    s_titz@iravcl.ira.uka.de - uknf@dkauni2.bitnet - praetorius@irc
(_)>(_)   +49-721-60439 - did i forget something?
One frequently hears horror expressed that a 2M byte machine may have 400K
 devoted to its operating system... - Fred Brooks (1975)
Xref: sparky comp.security.misc:1174 alt.security:4268 alt.sources.d:1107 comp.sources.testers:4 comp.unix.admin:4908
From: holland@matt.ksu.ksu.edu (Rich Holland)
Newsgroups: comp.security.misc,alt.security,alt.sources.d,comp.sources.testers,comp.unix.admin
Subject: Re: Beta testers needed for security tool
Date: 6 Sep 1992 18:52:48 -0500
Organization: Kansas State University
NNTP-Posting-Host: matt.ksu.ksu.edu

sims@drake.mitre.org (Jim Sims) writes:

> If I was gonna hack some system, I'd be sure the first thing I'd do to is
>find the root's version of tripwire and change it to *always* spit out the
>"don' worry, be happy message"....

...but it may not be '/etc/tripwire' or something so obvious.  What if
the admin put it in '/var/spool/mail/some-user' and changed the perms
so that it's not executable (harder to find).  You gonna poke through 
EVERY file on the system lookin' for it?  What're the chances you'll be
detected before you do?  :-)

-- 
Rich Holland              | INTERNET: holland@matt.ksu.ksu.edu
100 Jardine Terr, Apt A7  | BITNET  : holland@ksuvm
Manhattan, KS  66502-3357 | UUCP    : ...!rutgers!matt.ksu.ksu.edu!holland
char*p="char*p=%c%s%c;main(){printf(p,34,p,34);}";main(){printf(p,34,p,34);}
Newsgroups: comp.security.misc,alt.security
From: johnson@tigger.jvnc.net (Steven L. Johnson)
Subject: Re: Software Copyright protection devices
Originator: johnson@tigger.jvnc.net
Organization: JvNCnet
Date: Sat, 5 Sep 1992 19:15:54 GMT

Nicholas Marshall Kramer <nk24+@andrew.cmu.edu> writes:

> As a classic example, Banyan Vines comes with a dongle. Brilliant.
>Yeah, like a company with the bucks to set up a local area network with
>a dedicated server really cares about those three thousand dollars for a
>legit copy of Vines.

Welcome to the real world.  $3,000 is $3,000.  And many individuals
and companies will take shortcuts for much less than that.  You may
be suprised at the number of companies with multiple Novell networks,
(in different departments or divisions) running the same copy of
Novell Netware.

-Steve
From: B.Kumar@cs.ucl.ac.uk
Newsgroups: comp.security.misc
Subject: Available Speed for MD 4/MD 5 / RSA
Date: 6 Sep 92 18:05:42 GMT

I would be very thankful if somebody can point to me any reference 
where I can find the typical rates (in bits/sec) for computing hash 
with MD4 or MD5 and then applying public key encryption/decryption 
with RSA (or any other PKCS) on SUN4 - SLC type machine in software. 
I am looking rates for 1kbyte data packets. Any hardware plateform 
other than SUN will also do as I am looking for average figures for
generating digital signatures using PKCS.

What are the average (or claimed) speeds for computing MD4/MD5/RSA 
using specialised hardware (such as Cylink CY1024 (?) public key 
processor) chips?

What are the comparable (to PKCS), DES computation speeds and if you 
know any reference please...

Thanks

- --
B. Kumar             

Department of Computer Science 
University College London 
London WC1E 6BT(U.K )                       

Email: bkumar@cs.ucl.ac.uk

(Please send me email, if you can, as it will reach me faster than a posting
on bulletin board. If there is interest, I will summarise the responses.)

------------------------------ End of forwarded message 1
From: revell@ghidra.UU.NET (James R Revell Jr)
Newsgroups: comp.security.misc
Subject: Re: Improve security of Unix system
Date: 9 Sep 1992 14:27:59 -0400
Organization: UUNET Technologies Inc, Falls Church, VA
Reply-To: revell@uunet.uu.net (James R Revell Jr)
NNTP-Posting-Host: ghidra.uu.net

} The SRI International white paper, "Improving the Security of Your UNIX
} System," may be obtained via the following methods:
}  
} 1. ANONYMOUS FTP
}     The document is available via anonymous FTP from the following
...
}         (East Coast)    Host: UUNET.UU.NET
}                         Addr: 192.48.96.2
}                         File: doc/security-doc.tar.Z

This information is wrong.  Use ftp.uu.net (192.48.96.9 or 137.39.1.9).
The file is doc/security/security-doc.tar.Z

} 2. UUCP
}     UUNET subscribers can obtain the document via UUCP from UUNET using a
}     command of the form
}  
}         uucp uunet!~/doc/security-doc.tar.Z destination-filename

Again, the file is actually ~/doc/security/security-doc.tar.Z
-- 
James Revell	Network Services Mgr   <revell@uunet.uu.net>   /8^{~
Newsgroups: comp.security.misc,alt.security
From: bill@chaos.cs.umn.edu ()
Subject: Re: Software Copyright protection devices
Organization: University of Minnesota
Date: Tue, 8 Sep 1992 22:14:51 GMT

In <1992Sep5.191554.20803@tigger.jvnc.net> johnson@tigger.jvnc.net (Steven L. Johnson) writes:

>Nicholas Marshall Kramer <nk24+@andrew.cmu.edu> writes:

>> As a classic example, Banyan Vines comes with a dongle. Brilliant.

>Welcome to the real world.  $3,000 is $3,000.  And many individuals
>and companies will take shortcuts for much less than that.  You may
>be suprised at the number of companies with multiple Novell networks,
>(in different departments or divisions) running the same copy of
>Novell Netware.

and novell fixed that. when two copies are run on the same net they start 
transmitting license violation messages every 5 minutes. thats broadcast not
email. how do i know? 'cause when the novell people here upgraded and replaced
servers we had 1 license on two machines while the data files were being copied.
i can assure you the dos people found it to be very anoying.
we also had a custom 300,000$ project here that some idiot put a dongle on.
we have now gotten them to redesign their sw to run w/o it or be in violation
of the contract. they paid for it not us.

bill pociengel 
--
bill@chaos.cs.umn.edu
Newsgroups: comp.security.misc
From: teg@usenet.ucs.indiana.edu (Tim Gurbick)
Subject: Re: hushlogin
Followup-To: comp.security.misc
Keywords: motd,hushlogin,login,find
Organization: The Bank of the Black Monks of St. Herod
Date: Mon, 7 Sep 1992 04:25:48 GMT

In article <36961@uflorida.cis.ufl.edu> spp@crane.cis.ufl.edu (Stephen Potter) writes:
>Here's an interesting little hack that one of our consultants here at UF came
>up with.  This is nice for those of us that have to use public workstations,
>and have to log on and off a lot, or for windowing environments.
>
># Show motd only if it has changed
>cmp -s ~/.hushlogin /etc/motd
>if ($status != 0) then
>  tee ~/.hushlogin < /etc/motd | more
>endif

Which could also be somewhat streamlined into:

find /etc/motd -newer ~/.hushlogin -exec cat {} \; -a -exec touch ~/.hushlogin \;

(note the trailing semi is really on the same line, and is required for
proper command termination)

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Tim Gurbick a.k.a. teg@peabody.iusb.indiana.edu Dept of Math & CS: 237-GEEK
 Help: 911  d.b.a. teg@natasha.iusb.indiana.edu  `whois \!TEG12` Traci:0x45
#include <fnord.h> tgurbick@indiana.edu Chi mi frena in tal momento? emacs!
Me: International Unix Standards Bored, educational division: (219)237-IHEX
address: CS Dept IUSB POB 7111 1700 Mishawaka Avenue, South Bend, IN  46634
"Work FOR?  I don't work FOR anybody...  I'm just having fun." - The Doctor
From: vulture@carrion.cc.ic.ac.uk (Thomas Sippel - Dau)
Newsgroups: comp.security.misc
Subject: Re: Locking terminals (was Re: New Princeton Policy)
Date: 15 Sep 92 18:17:22 GMT
Reply-To: cmaae47@cc.ic.ac.uk
Organization: Imperial College of Science, Technology and Medicine

In article <1992Sep14.141307.24798@wam.umd.edu>, ignatz@wam.umd.edu (Mark J. Sienkiewicz) writes:
-
- Nobody I know reboots terminals - I assume this means "computer" :)
- 
Hmm, yes, we do. Rebooting an X-terminal means reloading the X-server
software from the boot server, which on some you can also change at this
stage, not all allow it ...

- Normally, you walk up to the machine and see an X based login.  Suppose
- you see xlock instead.  You type CTRL-SHIFT-BREAK and the X server dies.
- After a few seconds, its back with a new login screen. 

Maybe we can get a useful list going:

Architecture     Keypress             What is restarted
===============================================================================
DEC 5000
DEC VT2000
DG Aviion
IBM-RS/6000      ctrl-alt-backspace   IBMs X-server in current hft
HP-snakes        ctrl-shift-break     X-server (which: HPs, X-distributed ...?)
NCD-Xterminal    setup Xserver-parameters restart-session (1 key, 2 buttons)
SGI-iris         ctrl-shift-f12-kp/   graphics hardware and programs
SUN


-- 
*** This is the operative statement, all previous statements are inoperative.
*   email: cmaae47 @ cc.ic.ac.uk (Thomas Sippel - Dau) (uk.ac.ic.cc on Janet)
*   voice: +44 71 589 5111 x4937 or 4934 (day), or +44 71 823 9497 (fax)
*   snail: Imperial College of Science, Technology and Medicine
*   The Center for Computing Services, Kensington SW7 2BX, Great Britain
From: tmal@cl.cam.ac.uk (Mark Lomas)
Newsgroups: comp.security.misc
Subject: Re: Locking terminals (was Re: New Princeton Policy)
Date: 15 Sep 92 14:54:24 GMT
Reply-To: tmal@cl.cam.ac.uk (Mark Lomas)
Organization: U of Cambridge Comp Lab, UK

The technique that I favour, and which has been adopted by at least two
workstation vendors, is to provide a key sequence that restarts the server
that is driving the console.  The code to recognise this key sequence should
be embedded in the device driver in such a position that it cannot be
switched off under any circumstances.

First, if the server hangs you can restart it without something as drastic
as a reboot.  Second, if somebody writes their own version of the lock
utility then you can defeat it without the attendant risk that you gain
access to their account.  Third, you can ensure that nobody is running a
program that masquerades as the login utility.

Thus this solution has the side-effect of improving system security.

	Mark Lomas (tmal@cl.cam.ac.uk)
Newsgroups: comp.security.misc,alt.security,alt.sources.d,comp.sources.testers,comp.unix.admin
From: malte@techfak.uni-bielefeld.de (Malte Uhl)
Subject: Re: Beta testers needed for security tool
Date: Wed, 9 Sep 92 09:44:37 GMT
Organization: Universitaet Bielefeld, Technische Fakultaet.

>(buncha stuff about a utility to diff files as a security measure deleted)
>
> It seems to me rather useless and extremely CPU and I/O expensive to diff
> files as a security measure. 

I have written a shell script performing checks on inodes of files and
computing checksums over them. After coding that inode comparison stuff
in C, the script runs only for about 80 seconds depending on the systems
load to check about 1.300 files. And I really can't think of more than 1.300
files to watch on a BSD system.
So I don't expect Tripwire to take much longer.

Malte.

P.S.: The Machine is a Sun 4/470, serving 15 diskless clients and 5 Xterminals.
Xref: sparky comp.security.misc:1176 comp.unix.admin:4909
From: spaf@cs.purdue.EDU (Gene Spafford)
Newsgroups: comp.security.misc,comp.unix.admin
Subject: Re: Beta testers needed for security tool
Date: 7 Sep 92 01:21:22 GMT
Followup-To: comp.security.misc
Organization: Department of Computer Science, Purdue University

(Mostly in response to comments by Jim Sims):

Actually, the documentation for Tripwire will recommend that it be
installed on a read-only disk or across a network on read-only media.
The program has been designed to work with read-only input and with
the program on read-only storage.  If the read-only attribute is set
in hardware, it is very, very difficult to "hotwire" the code or
database.

As far as frequency of operation, that is up to the sysadmin.  Many
alterations cannot be detected without something like this.  In some
cases (e.g., mounting file systems across a network), files can be
altered without any unauthorized login from occuring.  Tripwire will
find those kinds of access.  This will also find Unix viruses, if any
ever appear.

Tripwire doesn't run "diff" against the file contents.  It uses message
digests/cryptographic signatures on those files that the sys admin
chooses to sign.  If the sysadmin wishes to only check i-node contents
for selected files, then the signature is not performed.

A fair amount of careful thought went into the design of this.  I'm
certainly interested in hearing comments and criticisms, but it sure
would be helpful if people would wait until they know what it is they
are commenting on.  (But then, this *is* Usenet. :-)
-- 
Gene Spafford
Software Engineering Research Center & Dept. of Computer Sciences
Purdue University, W. Lafayette IN 47907-1398
Internet:  spaf@cs.purdue.edu	phone:  (317) 494-7825
From: guenther@iras5.ira.uka.de (Guenther Schreiner)
Newsgroups: comp.security.misc
Subject: Re: Hiding Processes from ps -ax
Date: 10 Sep 1992 14:38:12 GMT
Organization: University of Karlsruhe, FRG
Distribution: world
NNTP-Posting-Host: iras5.ira.uka.de
Keywords: PCB, kernel

In article <GAY.92Sep10141255@moebius.loria.fr>, gay@moebius.loria.fr (Gay Stephane) writes:
|> >Alan J Rosenthal (flaps@dgp.toronto.edu) wrote:
|> >: sxjcb@orca.alaska.edu (Jay C. Beavers) writes:
|> >[...]
|> >This might be a simple way to do it,  if it worked!  On some systems
|> >it will do the trick (e.g. SunOS),  but it doesn't work on IBM's
|>                             ^^^^^
|> 
|> ok, name is changed. but you can have the real name using ps -axc.
|> still waiting for *the* solution. i've been told that you've to go
|> into /dev/kmem ...

Yes, just replace within the according PCB the PID of the process by a zero,
 and this process will be shown as swapper. But take care that you do NOT
 terminate that process ... a panic will soon come up.

:) Guenther

--
 Guenther Schreiner                     | University of Karlsruhe, Germany
  c/o Fakultaet fuer Informatik      ---+---
  Am Fasanengarten 5                    | Phone:    (+49) 721 608-3980
  7500 Karlsruhe 1                      | FAX:      (+49) 721 699284
                                        | INTERNET: guenther@ira.uka.de
 X.400: G=Guenther/S=Schreiner/OU=Informatik/PRMD=UNI-KARLSRUHE/ADMD=DBP/C=DE/;
--

Newsgroups: comp.lsi
From: axel@vlsivie.tuwien.ac.at (Axel Jantsch)
Subject: Synopsis versus RACAL-REDAC ?
Organization: Technical University Vienna, Austria
Distribution: comp.lsi.cad
Date: Fri, 11 Sep 1992 12:32:23 GMT


I have to compare the RACAL-REDAC VHDL based design system
(VHDL-2000 + SylcSyn + ...) with the Synopsis VHDL based synthesis and
simulation system.

I appreciate  any information about the strong and weak points of each of the
systems. I am especially interested in 
- the high level synthesis capabilities (e.g. is hardware sharing and
  scheduling done?);
- the quality and performance of the VHDL simulator;
- the VHDL subset that is synthesized and simulated;
- a path to FPGA technology;
- the training effort, as the system will be used in student courses.

Any kind of information and pointer is appreciated

Axel
--
       |Axel Jantsch               email: axel@vlsivie.tuwien.ac.at  
       |fax: (++43 1) 569697       voice: (++43 1) 58801-8156
\ /LSI |Institut fuer Technische Informatik, Treitlstrasse 3/1822 
 Vienna|Technische Universitaet Wien, A-1040 Vienna, Austria        
Fast information does to our minds what fast food does to our bodies.
Newsgroups: comp.lsi.cad
From: kirchoff@opal.cs.tu-berlin.de (Frank Kirchhoff)
Subject: SRM-drive simulation with SPICE
Keywords: SRM-drive,SPICE
Organization: Techn. University of Berlin, Germany
Date: Tue, 8 Sep 1992 12:05:07 GMT

I am designing a drive for Switched Reluctance Motor (SRM). To do
this, I need a simulator. A possible solution is, to implement the drive (motor,power electronic and controller) in SPICE. Exist any implementation? Is someone doing the same? Any idea is welcome.

Thanks in advance 
                                Frank

-------------------------------------------------------------------------------

Berlin University of Technology
Sekr. FR3-9

Frank Kirchhoff

Franklinstrasse 28/29
1000 Berlin 10
Email:kirchoff@cs.tu-berlin.de
Phone:(Germany)030/31425689
Fax:(Germany)030-31421103

-------------------------------------------------------------------------------
From: paul@eros.Berkeley.EDU (Paul Cohen)
Newsgroups: comp.lsi.cad
Subject: Re: octpla problems(OCTTOOLS 5.1)
Date: 10 Sep 1992 04:58:16 GMT
Organization: University of California at Berkeley
Distribution: inet
NNTP-Posting-Host: eros.berkeley.edu

In article <1992Sep8.184219.17393@cs.rose-hulman.edu> bohlkejh@NeXTwork.Rose-Hulman.Edu (Jon H. Bohlke) writes:

>   Does anybody have octpla working under OCTTOOLS 5.1?  I cannot get a  
>finsihed layout with it and it takes forever!

You should be sure to use the -nofold option. I've used the 5.1
version of octpla, and fabricated the PLAs. The circuits worked fine.
You should check the well and substrate contacts, though. In general,
octpla -nofold will work for fairly small PLAs. Since the
placement of substrate contacts is limited, I'd avoid "tall,  thin"
PLAs. 

In general, Octools questions can be addressed to
octtools@ic.berkeley.edu.


-- 
Paul B. Cohen				| paul@aha.com
Advanced Hardware Architectures, Inc.	| paul@ic.berkeley.edu
P.O Box 9669				| (208) 883-8000 (v)
Moscow, ID 83843			| (208) 883-8001 (f)
From: kjm9e@csissun8.ee.Virginia.EDU
Newsgroups: comp.lsi.cad
Subject: HSPICE to Berkeley SPICE Translator
Date: 8 Sep 92 17:45:24 GMT
Distribution: usa
Organization: University of Virginia
Originator: kjm9e@csissun8.ee.Virginia.EDU

Does anybody have a translator that converts HSPICE files to Berkeley
SPICE files?  I would greatly appreciate it if somebody could e-mail
me a program that does this.


						Kevin McLaughlin
						kjm9e@Virginia.EDU
						University of Virginia
From: krw@prg.ox.ac.uk (Kenneth Wood)
Newsgroups: comp.lsi.cad
Subject: Cost of ZYCAD LE
Date: 11 Sep 92 16:58:56 GMT
Distribution: comp.lsi.cad, comp.lsi
Organization: Oxford University Computing Laboratory

I need a rough estimate of the price of a ZYCAD LE logic 
simulation accelerator.  Ideally, I'd like to know the
range of prices from a single-board LE to a fully-loaded
one.  I can't seem to track down this information here
in England.

Responses by email would be best, but I do read this
group occasionally, so postings would be ok too.

Thanks in advance.

Ken Wood

+-----------------------------------------------------------------------+
| Kenneth R. Wood                          |  Tel: 0865 270550          |
| Programming Research Group               |  Fax: 0865 273839          |
| Oxford University Computing Laboratory   |----------------------------|
| 11 Keble Road, Oxford, England, OX1 3QD  |  Net: krw@uk.ac.oxford.prg |
+-----------------------------------------------------------------------+
Newsgroups: comp.lsi.cad
From: bohlkejh@NeXTwork.Rose-Hulman.Edu (Jon H. Bohlke)
Subject: octpla problems(OCTTOOLS 5.1)
Organization: Rose-Hulman Institute of Technology
Date: Tue, 8 Sep 1992 18:42:19 GMT


Hi,
   Does anybody have octpla working under OCTTOOLS 5.1?  I cannot get a  
finsihed layout with it and it takes forever!


Jon
From: naiming@eng.umd.edu (Naiming Shen)
Newsgroups: comp.lsi.cad
Subject: How to print MAGIC cells to a SparcPrinter from a Sun?
Date: 15 Sep 92 13:28:10 GMT
Organization: Electrical Engineering, University of Maryland


I'm using MAGIC v.6 on Sun SparcStation with a SparcPrinter attached to it.
I would like to plot the cells to the printer, what should I do?
I have tried ":plot versatec" then use "lpr -s magicxxxfile", but I didn't
get anything from the printer. Can someone help me about this?
thanks in advance.

Naiming,
Newsgroups: comp.lsi.cad
From: mjohnson@netcom.Netcom.COM (Mark Johnson)
Subject: Re: HSPICE to Berkeley SPICE Translator
Date: Tue, 08 Sep 92 21:21:55 GMT
Organization: Netcom Online Communications Service
Distribution: usa

In article <1992Sep8.174524.212@murdoch.acc.Virginia.EDU> kjm9e@csissun8.ee.Virginia.EDU writes:
   > Does anybody have a translator that converts HSPICE
   > files to Berkeley SPICE files?


In general it's a huge problem.  You probably need to
select which subsets of the HSPICE realm you are interested
in, and translate those.  While omitting the other features
of HSPICE that are not present in UCB codes.

For example,

   (1)  HSPICE supports many more semiconductor device
        models than UCB.  One of them (Level=28) is
        quite good, and quite opaque.  If you have
        "HSPICE models" for a fab technology, and those
        models are level=28, and you want to use
        Berkeley SPICE, you're up a stump.

   (2)  HSPICE has a macro-language facility via ".PARAM"
        statements.  Parameters can be passed into subcircuits.
        (you can define an RC filter subckt and pass in the
        values of R and C from the subcircuit call).

   (3)  HSPICE has a facility called the ".DATA" statement,
        which Berkeley spice doesn't have.  This allows
        multiply nested re-simulations at user chosen
        conditions.

   (4)  HSPICE has an optimization facility, Berkeley does
        not.

   (5)  HSPICE will print out (the main diagonal of) the
        capacitance table for your entire circuit, including
        the nonlinear junction capacitances.  UCB won't.

   (6)  HSPICE has generalized dependent sources, intended
        for macromodelling.  UCB doesn't.  Among the more
        useful features are "MAX" and "MIN" ; these let
        you make an opamp-like element that has gain of
        2E6, but will not put out more than +15V or less
        than -17V.

   (7)  HSPICE has tons of built-in models of electromagnetic
        transmission lines, which take as their parameters
        the physical geometry (rather than the electrical
        quantities-per-unit-length).  UCB, doesn't.

There are more, but that's the general flavor.  A full
translator that accepts any and every HSPICE valid input,
producing a valid and correct UCB SPICE "deck", is intractably
ugly.  So you need to pick and choose a minimal subset
that makes your life easier if not pushbutton-automatic.

 -- MJ
Xref: sparky comp.lsi.cad:949 comp.lsi:591 comp.lsi.testing:220
From: lobo@cs.washington.edu (Donald A. Lobo)
Newsgroups: comp.lsi.cad,comp.lsi,comp.lsi.testing
Subject: Looking for a public domain BDD package
Date: 15 Sep 92 00:56:57 GMT
Organization: Computer Science & Engineering, U. of Washington, Seattle

I'd like information on various public domain BDD packages avalaible.
I'm aware of the ones available from CMU and Berkeley. 

I'd appreciate any advice regarding these packages, and also any other
BDD packages that are avalaible out there

Donald Lobo
(lobo@cs.washington.edu)
Xref: sparky comp.lsi.cad:936 comp.lsi:584