http://tech.groups.yahoo.com/group/sparkusers/ SPARK Users Discussion Forum Thu, 26 Mar 2009 21:46:34 GMT kechenghao http://tech.groups.yahoo.com/group/sparkusers/message/60 http://tech.groups.yahoo.com/group/sparkusers/message/60 I'm a new spark user. The benchmark's link MediaBench applications doesn't work. Can anyone provide a new link? Thanks very much! Tue, 13 May 2008 11:46:46 GMT Suresh http://tech.groups.yahoo.com/group/sparkusers/message/59 http://tech.groups.yahoo.com/group/sparkusers/message/59 Hi, I have downloaded SPARK and trying to use it on examples given with this. On running runtest.bat, I can generate the vhd file, dotty file and c file. But I Mon, 26 Nov 2007 12:33:28 GMT Alexandru Plesco http://tech.groups.yahoo.com/group/sparkusers/message/58 http://tech.groups.yahoo.com/group/sparkusers/message/58 1. Spark hb (operation binding) is buggy (it was working for me in rare cases), on some designs the memory usage will blow to about 8GB or more and a Fri, 23 Nov 2007 22:22:28 GMT Bruno Correia http://tech.groups.yahoo.com/group/sparkusers/message/57 http://tech.groups.yahoo.com/group/sparkusers/message/57 Hi everyone, I'm initiating my studies in High Level Language when I've discovered about spark. I'm trying to understand the tool and play with that. I have a Wed, 25 Jul 2007 14:47:23 GMT Ihab Ihab http://tech.groups.yahoo.com/group/sparkusers/message/56 http://tech.groups.yahoo.com/group/sparkusers/message/56 i am new in the SPARK world. I want to try to write some C files for generaing them to VHDL with SPARK.. Do you habe any tutorials or beginner examples about Thu, 26 Apr 2007 10:23:30 GMT viji sivan http://tech.groups.yahoo.com/group/sparkusers/message/55 http://tech.groups.yahoo.com/group/sparkusers/message/55 Dear All, We are glad to offer ACTP (Advanced Certificate Training Programme) at M.S.Ramaiah School of Advanced Studies, Bangalore. Brief details are as Wed, 24 Jan 2007 21:34:04 GMT gaucho72000 http://tech.groups.yahoo.com/group/sparkusers/message/54 http://tech.groups.yahoo.com/group/sparkusers/message/54 Dear SPARK users, I have some questions concerning simulations in SPARK. I am using Xilinix ISE 8.2 ModelSim to simulate SPARK (Linux) version 1.2 RTL VHDL by Mon, 04 Dec 2006 06:15:15 GMT Alexandru Plesco http://tech.groups.yahoo.com/group/sparkusers/message/53 http://tech.groups.yahoo.com/group/sparkusers/message/53 Hi there, probably you have in your code dynamic execution cycles ( i.e. the execution time depends on some input). Try synthesis without -hec option. Hope it Fri, 01 Dec 2006 13:57:26 GMT Thomas West http://tech.groups.yahoo.com/group/sparkusers/message/52 http://tech.groups.yahoo.com/group/sparkusers/message/52 Hey Hope someone can help me. I have a standard Spark 1.3 installation on a Win XP station. But even with the tutorial I get the following: -- Start counting Tue, 17 Oct 2006 16:02:54 GMT gaucho72000 http://tech.groups.yahoo.com/group/sparkusers/message/51 http://tech.groups.yahoo.com/group/sparkusers/message/51 Hello all, I am running SPARK V1.2 on linux and some of my files also produce the error mentioned earlier in this forum "...bad expr node...". In my case Tue, 17 Oct 2006 01:35:03 GMT Lieu My Chuong Jeff http://tech.groups.yahoo.com/group/sparkusers/message/50 http://tech.groups.yahoo.com/group/sparkusers/message/50 Hi all, I am doing my master on High-level synthesis and carrying out some experiments. I've got some errors while running example provided with Version 1.3 Mon, 16 Oct 2006 17:08:28 GMT Lieu My Chuong Jeff http://tech.groups.yahoo.com/group/sparkusers/message/49 http://tech.groups.yahoo.com/group/sparkusers/message/49 Hi all, I am doing my master on High-level synthesis and carrying out some experiments. I've got some errors while running example provided with Version 1.3 Sun, 15 Oct 2006 04:02:55 GMT Sudipta Kundu http://tech.groups.yahoo.com/group/sparkusers/message/48 http://tech.groups.yahoo.com/group/sparkusers/message/48 Hi Arcilio, Thanks for your interest in SPARK. We are currently not doing a lot of development in SPARK. But we are trying to support it as much as possible. Sat, 14 Oct 2006 12:40:15 GMT gaucho72000 http://tech.groups.yahoo.com/group/sparkusers/message/47 http://tech.groups.yahoo.com/group/sparkusers/message/47 Dear sir, madam, I am a master of science student at the Delft University of Technology under the supervision of professor Bertels in the Computer Engineering Mon, 19 Jun 2006 21:54:55 GMT Sumit Gupta http://tech.groups.yahoo.com/group/sparkusers/message/46 http://tech.groups.yahoo.com/group/sparkusers/message/46 SPARK does not handle unbounded while loops, but it should work for while loops with bounds. In general, SPARK does not work too well for While-loops. I