**From:** Marko Mäkelä (*marko.makela_at_hut.fi*)

**Date:** 2002-06-25 10:47:42

**Next message:**MagerValp: "Re: Reverse engineering logic equations from truth tables"**Previous message:**ruud.baltissen_at_abp.nl: "RE: Reverse engineering logic equations from truth tables"**Maybe in reply to:**Marko Mäkelä: "Reverse engineering logic equations from truth tables"**Next in thread:**Nicolas Welte: "Re: 82s100"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ] [ attachment ]

The following messages from André Fachat were rejected because of unregistered sender address <a.fachat@gmx.de>. I'm repeating them in this single message. On Mon, Jun 24, 2002 at 07:01:32PM +0930, Marko Mäkelä wrote: > Nicolas Welte wrote: copying the plus/4 PLA? And could someone > upload the 8296 PLA if it's not already on FUNET? It is already there. I uploaded it together with a program to derive the logic equations. On Mon, Jun 24, 2002 at 12:13:29PM +0200, Gideon Zweijtzer wrote: > If anyone is planning to do so, please note that generating a huge > truth table for VHDL or verilog is a lot easier than trying to find > the logic formula's yourself. Then run the VHDL or verilog to a > compiler / fitter for a PLD and there you'll be able to find your > equations. Maybe someone with access to that can check whether my little program http://www.funet.fi/pub/cbm/firmware/computers/pet/8296/82s100.tar.gz has derived the right equations. [My comment: there is a simpler way to verify the equations: create a FOR loop x = 0 .. 2^n-1 and define the variables of your equation e(v(0),...,v(n-1)) to be v(i) = (x & 2^i) != 0 for i = 0 .. n-1. Write the result of e(v(0),...,v(n-1)) for each x to a file, and compare the result with the memory image. (To be more precise, for the 82S100 PLA, you'd write the results of all eight equations simultaneously as different bits, and compare the result with the 64 kB binary image.)] On Mon, Jun 24, 2002 at 09:56:05PM +0930, Marko Mäkelä wrote: > Ullrich von Bassewitz wrote: >> If I remember correctly, the technical manual for the CBM 6x0/7x0 >> contains the PLA equations. > > Where can the manual been found, and has anyone verified those > equations against a PLA dump? > > Marko (who can see his CBM 720 again in 2 weeks) I have used those equations in the VICE emulator. Dont remember whether I checked with a ROM dump. Dont think so. I dont know why, but currently I cannot find the manual on funet. Have to look at my paper docs, maybe next weekend. Andre [My comment: wow, maybe André's tool could be used for simplifying the C128 PLA equations. It doesn't matter if it's an exponential algorithm: we could let a bunch of computers to search for the minimal equations for a couple of weeks. Plus, I have access to a 128-processor SGI Origin 2000 supercomputer. :-) Just kidding, it's better suited for memory-hungry problems.] Marko Message was sent through the cbm-hackers mailing list

**Next message:**MagerValp: "Re: Reverse engineering logic equations from truth tables"**Previous message:**ruud.baltissen_at_abp.nl: "RE: Reverse engineering logic equations from truth tables"**Maybe in reply to:**Marko Mäkelä: "Reverse engineering logic equations from truth tables"**Next in thread:**Nicolas Welte: "Re: 82s100"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ] [ attachment ]

Archive generated by hypermail 2.1.4.