On Thu, Mar 5, 2009 at 3:32 PM, Eric Rannaud <[email protected]> wrote:
Eric: Your comments in general about multi-core are well taken, and there really are no quick answers. The one remaining point is that in BitC it is possible to write code that is known not to allocate, where in other safe languages that is not true. Also, remember that we are currently talking about R1 BitC. I'm not opposed to adding other things later. I'ld just like to get a version out there for initial use so that we can find out how big an idiot I've been. Heck. I'ld settle for knowing the exponent on the idiot meter. > I guess I'm biased: soft-cores in FPGAs sometimes have to work with a > very small memory (possibly with an external DDR, but far enough you > don't want to access it in uncontrolled ways), and that's a real case > for me. Reasonably so, but don't assume out of hand that you can't get there. Let's look at use cases when we have something to look at. OTOH these are small enough that verification begins to be a relevant alternative approach for safety. shap _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
