alliance-support '01
[Fwd: FSM]


Francois DONNET (francois.donnet@asim.lip6.fr)
Wed, 14 Nov 2001 16:58:50 +0100

Return-Path: <beloved_j@yahoo.com> Received: from isis.lip6.fr (IDENT:root@isis.lip6.fr [132.227.60.2]) by asim.lip6.fr (8.11.3nb1/8.11.0) with ESMTP id fAE8V7A29293 for <Francois.Donnet@asim.lip6.fr>; Wed, 14 Nov 2001 09:31:07 +0100 (MET) Received: from web10401.mail.yahoo.com (web10401.mail.yahoo.com [216.136.130.93]) by isis.lip6.fr (8.12.0.Beta19/jtpda-5.3.2+victor) with SMTP id fAE8V6qS002462 for <Francois.Donnet@lip6.fr>; Wed, 14 Nov 2001 09:31:06 +0100 X-pt: isis.lip6.fr Message-ID: <20011114083105.8957.qmail@web10401.mail.yahoo.com> Received: from [202.90.128.5] by web10401.mail.yahoo.com via HTTP; Wed, 14 Nov 2001 00:31:05 PST Date: Wed, 14 Nov 2001 00:31:05 -0800 (PST) From: GIIE <beloved_j@yahoo.com> Subject: FSM To: Francois DONNET <Francois.Donnet@lip6.fr> In-Reply-To: <3BF12D37.A1424620@asim.lip6.fr> MIME-Version: 1.0 X-Security: MIME headers sanitized on asim.lip6.fr See http://www.impsec.org/email-tools/procmail-security.html for details. $Revision: 1.125 $Date: 2000-12-26 11:14:47-08 Content-Type: multipart/alternative; boundary="0-939657978-1005726665=:94228" X-Mozilla-Status2: 00000000 --0-939657978-1005726665=:94228 Content-Type: text/plain; charset=us-ascii Hi sir, Q1: Is a fsm description in vhdl synthesizable in alliance? can vasy be used to convert vhdl to alliance's fsm format? Q2: Is the format in the design of 1 bit counter design the ideal format for all fsm descriptions in alliance - as in there must be flags etc. This is because I do not quite understand the flag,flag stuff. Thanks John --------------------------------- Do You Yahoo!? Find the one for you at Yahoo! Personals. --0-939657978-1005726665=:94228 Content-Type: text/html; charset=us-ascii <P>&nbsp;Hi sir, <P>Q1:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Is a fsm description in vhdl synthesizable in alliance? can vasy be used to convert vhdl to alliance's fsm format? <P>Q2:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Is the format in the design of 1 bit counter design the ideal format for all fsm descriptions in alliance - as in there must be flags etc. This is because I do not quite understand the flag,flag stuff. <P>Thanks <P>John </P><p><br><hr size=1><b>Do You Yahoo!?</b><br> Find the one for you at <a href="http://rd.yahoo.com/mktg/mail/txt/tagline/?http://personals.yahoo.com" target="_blank">Yahoo! Personals</a>. --0-939657978-1005726665=:94228--

Return-Path: <beloved_j@yahoo.com> Received: from isis.lip6.fr (IDENT:root@isis.lip6.fr [132.227.60.2]) by asim.lip6.fr (8.11.3nb1/8.11.0) with ESMTP id fAE1KhA07311 for <Francois.Donnet@asim.lip6.fr>; Wed, 14 Nov 2001 02:20:43 +0100 (MET) Received: from web10407.mail.yahoo.com (web10407.mail.yahoo.com [216.136.130.99]) by isis.lip6.fr (8.12.0.Beta19/jtpda-5.3.2+victor) with SMTP id fAE1KfqS030645 for <Francois.Donnet@lip6.fr>; Wed, 14 Nov 2001 02:20:42 +0100 X-pt: isis.lip6.fr Message-ID: <20011114012041.93858.qmail@web10407.mail.yahoo.com> Received: from [202.90.128.5] by web10407.mail.yahoo.com via HTTP; Tue, 13 Nov 2001 17:20:41 PST Date: Tue, 13 Nov 2001 17:20:41 -0800 (PST) From: GIIE <beloved_j@yahoo.com> Subject: Re-re-re: Flipflop design To: Francois DONNET <Francois.Donnet@lip6.fr> In-Reply-To: <3BF000D7.B9B5B7F5@asim.lip6.fr> MIME-Version: 1.0 X-Security: MIME headers sanitized on asim.lip6.fr See http://www.impsec.org/email-tools/procmail-security.html for details. $Revision: 1.125 $Date: 2000-12-26 11:14:47-08 Content-Type: multipart/alternative; boundary="0-741528323-1005700841=:93841" X-Mozilla-Status2: 00000000 --0-741528323-1005700841=:93841 Content-Type: text/plain; charset=us-ascii Hi sir, I was just wandering that if the behavioral description of a JK flip-flop is as what you said below: "state <= GUARDED (k = '0');" what will be the use of the J input since only K is used / guarded? Im asking since some JK circuits have connections for both the J and K inputs. Will the J input be left to hang? or? Thanks John DB Francois DONNET <Francois.Donnet@lip6.fr> wrote: Hello John, I think you have done a mistake between the number of blocks(L1,L2..) and the number of registers(state). Anyway L1, L2,L3,L4 obey to the same condition and write on the same register (Hence, the "driver conflict ..." error). I think you should reduce your description in one block which would have the same behaviour: L: BLOCK ((clock = '1') AND NOT(clock'STABLE) ) BEGIN state <= GUARDED (k = '0'); END BLOCK; John De Beloved wrote: > Hi sir Ludovic, > > I'll like to implement a 4 bit counter using Alliance. The design I have uses Jk flipflops.. so I've been trying to implement a JK flipflop however, I always get an error when I get to apply the scmap command. I also get an error msg " driver conflict..." when I apply the "asimut -b jk jk r1" command. Here is my .vbe code. It gives no errors when compiled with asimut. My genpat code also gives no errors, however its when I want to simulate the behavioral description and synthesize the logic that I get stuck. > > -- code for a jk flip flop.. > > ENTITY jkt1 IS > PORT( > clock : IN BIT; > j : IN BIT; > k : IN BIT; > q : OUT BIT; > qbar : OUT BIT; > vdd : IN BIT; > vss : IN BIT > ); > END jkt1; > > Architecture jkflipflop of jkt1 is > > signal state : REG_BIT REGISTER > > Begin > > L1: BLOCK ((clock = '1') AND NOT(clock'STABLE) ) > BEGIN > state <= GUARDED NOT ((j = '1') AND (k = '1')); > END BLOCK; > > L2: BLOCK ((clock = '1') AND NOT(clock'STABLE) ) > BEGIN > state <= GUARDED NOT ((j = '0') AND (k = '1')); > END BLOCK; > > L3: BLOCK ((clock = '1') AND NOT(clock'STABLE) ) > BEGIN > state <= GUARDED ((j = '1') AND (k = '0')); > END BLOCK; > > L4: BLOCK ((clock = '1') AND NOT(clock'STABLE) ) > BEGIN > state <= GUARDED ((j = '0') AND (k = '0')); > END BLOCK; > > q <= state; > qbar <= NOT state; > > End jkflipflop; > > Could you please help me on how to implement a flip flop. > > Thank you, > > John DB > > > > ------------------------------------------------------------------------ > Do You Yahoo!? > Find a job, post your resume on Yahoo! Careers. --------------------------------- Do You Yahoo!? Find the one for you at Yahoo! Personals. --0-741528323-1005700841=:93841 Content-Type: text/html; charset=us-ascii <P> Hi sir, <P>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; I was just wandering that if the behavioral description of&nbsp;a JK flip-flop is as what you said below: "state &lt;= GUARDED (k = '0');"<BR>&nbsp;what will be the use of the J input since only K is used / guarded? Im asking since some JK circuits have connections for both the J and K inputs. Will the J input be left to hang? or? <P>Thanks <P>John DB <P>&nbsp; <B><I>Francois DONNET &lt;Francois.Donnet@lip6.fr&gt;</I></B> wrote: <BLOCKQUOTE style="BORDER-LEFT: #1010ff 2px solid; MARGIN-LEFT: 5px; PADDING-LEFT: 5px">Hello John,<BR><BR>I think you have done a mistake between the number of blocks(L1,L2..) and the number of registers(state).<BR>Anyway L1, L2,L3,L4 obey to the same condition and write on the same register (Hence, the "driver conflict ..." error).<BR><BR>I think you should reduce your description in one block which would have the same behaviour:<BR><BR>L: BLOCK ((clock = '1') AND NOT(clock'STABLE) )<BR>BEGIN<BR>state &lt;= GUARDED (k = '0');<BR>END BLOCK;<BR><BR><BR>John De Beloved wrote:<BR><BR>&gt; Hi sir Ludovic,<BR>&gt;<BR>&gt; I'll like to implement a 4 bit counter using Alliance. The design I have uses Jk flipflops.. so I've been trying to implement a JK flipflop however, I always get an error when I get to apply the scmap command. I also get an error msg " driver conflict..." when I apply the "asimut -b jk jk r1" command. Here is my .vbe code. It gives no errors when compiled with ! asimut. My genpat code also gives no errors, however its when I want to simulate the behavioral description and synthesize the logic that I get stuck.<BR>&gt;<BR>&gt; -- code for a jk flip flop..<BR>&gt;<BR>&gt; ENTITY jkt1 IS<BR>&gt; PORT(<BR>&gt; clock : IN BIT;<BR>&gt; j : IN BIT;<BR>&gt; k : IN BIT;<BR>&gt; q : OUT BIT;<BR>&gt; qbar : OUT BIT;<BR>&gt; vdd : IN BIT;<BR>&gt; vss : IN BIT<BR>&gt; );<BR>&gt; END jkt1;<BR>&gt;<BR>&gt; Architecture jkflipflop of jkt1 is<BR>&gt;<BR>&gt; signal state : REG_BIT REGISTER<BR>&gt;<BR>&gt; Begin<BR>&gt;<BR>&gt; L1: BLOCK ((clock = '1') AND NOT(clock'STABLE) )<BR>&gt; BEGIN<BR>&gt; state &lt;= GUARDED NOT ((j = '1') AND (k = '1'));<BR>&gt; END BLOCK;<BR>&gt;<BR>&gt; L2: BLOCK ((clock = '1') AND NOT(clock'STABLE) )<BR>&gt; BEGIN<BR>&gt; state &lt;= GUARDED NOT ((j = '0') AND (k = '1'));<BR>&gt; END BLOCK;<BR>&gt;<BR>&gt; L3: BLOCK ((clock = '1') AND NOT(clock'STABLE) )<BR>&gt; BEGIN<BR>&gt; state &lt;= GUARDED ((j = '1') AND (k = '0'))! ;<BR>&gt; END BLOCK;<BR>&gt;<BR>&gt; L4: BLOCK ((clock = '1') AND NOT(clock'STABLE) )<BR>&gt; BEGIN<BR>&gt; state &lt;= GUARDED ((j = '0') AND (k = '0'));<BR>&gt; END BLOCK;<BR>&gt;<BR>&gt; q &lt;= state;<BR>&gt; qbar &lt;= NOT state;<BR>&gt;<BR>&gt; End jkflipflop;<BR>&gt;<BR>&gt; Could you please help me on how to implement a flip flop.<BR>&gt;<BR>&gt; Thank you,<BR>&gt;<BR>&gt; John DB<BR>&gt;<BR>&gt;<BR>&gt;<BR>&gt; ------------------------------------------------------------------------<BR>&gt; Do You Yahoo!?<BR>&gt; Find a job, post your resume on Yahoo! Careers.<BR></BLOCKQUOTE><p><br><hr size=1><b>Do You Yahoo!?</b><br> Find the one for you at <a href="http://rd.yahoo.com/mktg/mail/txt/tagline/?http://personals.yahoo.com" target="_blank">Yahoo! Personals</a>. --0-741528323-1005700841=:93841--

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 15 November 2001.