<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
    <channel>
        <title></title>
        <description>A Methodology for Formal System Design</description>
        <link>https://forsyde.github.io/</link>
        <atom:link href="https://forsyde.github.io/feed.xml" rel="self" type="application/rss+xml"/>
        <pubDate>Fri, 25 Oct 2024 14:40:26 +0000</pubDate>
        <lastBuildDate>Fri, 25 Oct 2024 14:40:26 +0000</lastBuildDate>
        <generator>Jekyll v3.10.0</generator>
        
        <item>
            <title>New IDeSyDe and ForSyDe IO releases</title>
            <description>&lt;p&gt;We are happy to annouce the newer releases of IDeSyDe and ForSyDe IO. These newest releases enables you to solve DSE scenarios where the applications are modelled as SDF graphs and the platform contains FPGA elements which can host actors synthetized as ASICs. Naturally, this happens at the system-level, which means that the IDeSyDe makes mapping judgments based on number estimates and not on actual synthesis results. On the other hand, this has the advantage that you can use the DSE approach of this latest release with estimates of performance, in earlier stages of your design process.&lt;/p&gt;
</description>
            <pubDate>Wed, 29 May 2024 11:00:00 +0000</pubDate>
            <link>https://forsyde.github.io/news/2024-05-29-fpga-support-and-more.html</link>
            <guid isPermaLink="true">https://forsyde.github.io/news/2024-05-29-fpga-support-and-more.html</guid>
            
            <category>news</category>
            
            
        </item>
        
        <item>
            <title>IDeSyDe: latest releases and publications</title>
            <description>&lt;p&gt;IDeSyDe 0.5.9 has been released.
It has many changes since the last update in October 2022, including a multi-modular architecture that enables dynamic use of identification and exploration modules.
Check out &lt;a href=&quot;https://github.com/forsyde/IDeSyDe/releases&quot;&gt;the releases&lt;/a&gt; and &lt;a href=&quot;https://forsyde.github.io/IDeSyDe/&quot;&gt;the documentation&lt;/a&gt; for more information.&lt;/p&gt;

&lt;p&gt;This latest release is also featured in &lt;a href=&quot;https://2023.dasconline.org/&quot;&gt;DASC 2023&lt;/a&gt;!&lt;/p&gt;
</description>
            <pubDate>Wed, 14 Jun 2023 11:00:00 +0000</pubDate>
            <link>https://forsyde.github.io/news/2023-06-14-latest-pubs-and-tools.html</link>
            <guid isPermaLink="true">https://forsyde.github.io/news/2023-06-14-latest-pubs-and-tools.html</guid>
            
            <category>news</category>
            
            
        </item>
        
        <item>
            <title>IDeSyDe and ForSyDe IO: latest releases and publications</title>
            <description>&lt;p&gt;Since 2019 we have been developing two new entries in the &lt;a href=&quot;/tools&quot;&gt;tools&lt;/a&gt; ecosystem, based on
lessons learned from previous years and tools. These two entries are &lt;a href=&quot;&quot;&gt;IDeSyDe&lt;/a&gt;
and &lt;a href=&quot;&quot;&gt;ForSyDe IO&lt;/a&gt;.&lt;/p&gt;

&lt;p&gt;&lt;a href=&quot;&quot;&gt;IDeSyDe&lt;/a&gt; is 
the current design space exploration tool in ForSyDe design flow. 
It is based on the concept of design space identification in order to systematically combine and extend different design space exploration scenarios without sacrificing exploration performance.
The accompanying publication, accepted, presented and published in &lt;a href=&quot;https://www.date-conference.com/&quot;&gt;DATE 2021&lt;/a&gt;, can be found &lt;a href=&quot;http://dx.doi.org/10.23919/DATE51398.2021.9474082&quot;&gt;here&lt;/a&gt; and it is also listed in &lt;a href=&quot;/publications&quot;&gt;publications&lt;/a&gt;.&lt;/p&gt;

&lt;p&gt;&lt;a href=&quot;&quot;&gt;ForSyDe IO&lt;/a&gt; is the candidate for a common exchange model in the &lt;a href=&quot;/tools&quot;&gt;tools&lt;/a&gt; ecosystem; as currently not all tools can connect its results to
the inputs of another. The accompanying publication was accepted and presented in &lt;a href=&quot;https://fdl-conference.com/&quot;&gt;FDL 2022&lt;/a&gt;, in Linz, Austria. Once it is also published
in the proceedings of the conference, the publication will be added to the &lt;a href=&quot;&quot;&gt;ForSyDe IO project website&lt;/a&gt;.&lt;/p&gt;

&lt;p&gt;You can follow the active development and specific documemtation for each of these two projects in their websites.&lt;/p&gt;
</description>
            <pubDate>Sun, 02 Oct 2022 11:00:00 +0000</pubDate>
            <link>https://forsyde.github.io/news/2022-10-02-idesyde-forsydeio-pubs.html</link>
            <guid isPermaLink="true">https://forsyde.github.io/news/2022-10-02-idesyde-forsydeio-pubs.html</guid>
            
            <category>news</category>
            
            
        </item>
        
        <item>
            <title>ForSyDe lives!</title>
            <description>&lt;p&gt;It has been a long time since we last posted here. Luckily, it was for all the good reasons!
The major one is research. Sometimes a deep focus is required. And sadly, that might mean long hiatus between front-page updates.&lt;/p&gt;

&lt;p&gt;Here are some noteworthy news since Sept. 2019, the date of our last update:&lt;/p&gt;

&lt;ul&gt;
  &lt;li&gt;We published a paper about “&lt;em&gt;d&lt;/em&gt;esign &lt;em&gt;s&lt;/em&gt;pace &lt;em&gt;i&lt;/em&gt;dentification”. It is the method that underpines our new &lt;em&gt;d&lt;/em&gt;esign &lt;em&gt;s&lt;/em&gt;pace &lt;em&gt;e&lt;/em&gt;xploration tool: &lt;a href=&quot;https://forsyde.github.io/IDeSyDe&quot;&gt;IDeSyDe&lt;/a&gt;.
Here’s a quick citation, for your knowledge:
    &lt;blockquote&gt;
      &lt;p&gt;Jordão, R.; Sander, I. &amp;amp; Becker, M.
Formulation of Design Space Exploration Problems by Composable Design Space Identification 
2021 Design, Automation &amp;amp; Test in Europe Conference &amp;amp; Exhibition (DATE), 2021, 1204-1207&lt;/p&gt;
    &lt;/blockquote&gt;
  &lt;/li&gt;
  &lt;li&gt;We started two new “tool” projects (see one above):
    &lt;ul&gt;
      &lt;li&gt;&lt;a href=&quot;https://forsyde.github.io/IDeSyDe&quot;&gt;IDeSyDe&lt;/a&gt;, the new DSE tool from our group after DeSyDe.&lt;/li&gt;
      &lt;li&gt;&lt;a href=&quot;https://forsyde.github.io/forsyde-io/&quot;&gt;ForSyDe-IO&lt;/a&gt;, our “intermediate” model representation supporting libs.&lt;/li&gt;
    &lt;/ul&gt;
  &lt;/li&gt;
  &lt;li&gt;We are part of two projects that gives our continous knowledge transfer with industry:
    &lt;ul&gt;
      &lt;li&gt;&lt;a href=&quot;https://panorama-research.org/&quot;&gt;ITEA3 PANORAMA&lt;/a&gt;&lt;/li&gt;
      &lt;li&gt;&lt;a href=&quot;https://www.vinnova.se/en/p/early-bird---seamless-system-design-from-concept-phase-to-implementation/&quot;&gt;VINNOVA EARLY BIRD&lt;/a&gt;&lt;/li&gt;
    &lt;/ul&gt;
  &lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;To close this brief “I’m alive!” post, it is nice to remind the reader of another place where
a lot of our activity is destined to: &lt;a href=&quot;https://github.com/forsyde&quot;&gt;Our organization github&lt;/a&gt;!&lt;/p&gt;

&lt;p&gt;That’s all for now, see you next time!&lt;/p&gt;
</description>
            <pubDate>Mon, 01 Nov 2021 11:00:00 +0000</pubDate>
            <link>https://forsyde.github.io/news/2021-11-01-after-news-hiatus.html</link>
            <guid isPermaLink="true">https://forsyde.github.io/news/2021-11-01-after-news-hiatus.html</guid>
            
            <category>news</category>
            
            
        </item>
        
        <item>
            <title>FDL2019 Best Paper Award</title>
            <description>&lt;p&gt;We are happy to announce that our paper got the “Best Paper Award” at the Forum on specification &amp;amp; Design Languages (FDL2019) in Southampton, United Kingdomm on September 2-4, 2019:&lt;/p&gt;

&lt;ul&gt;
  &lt;li&gt;George Ungureanu, Timmy Sundström, Anders Åhlander, Ingo Sander and Ingemar Söderquist. 2019. Formal Design, Co-Simulation and Validation of a Radar Signal Processing System. Proceedings of the Forum on specification &amp;amp; Design Languages [&lt;a href=&quot;https://doi.org/10.1109/FDL.2019.8876905&quot;&gt;DOI&lt;/a&gt;|&lt;a href=&quot;https://www.researchgate.net/publication/336725394_Formal_Design_Co-Simulation_and_Validation_of_a_Radar_Signal_Processing_System&quot;&gt;url&lt;/a&gt;|&lt;a href=&quot;https://forsyde.github.io/publications_bib.html#UngSun2019b&quot;&gt;bib&lt;/a&gt;|&lt;a href=&quot;https://www.researchgate.net/publication/336916586_handoutpdf&quot;&gt;slides&lt;/a&gt;]&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;This paper has been written in collaboration with our industrial partners at Saab AB, and summarizes the work and results presented in the &lt;a href=&quot;https://forsyde.github.io/docs/aesa-radar/&quot;&gt;“Design of Sensor Signal Processing with ForSyDe: Modeling, Validation and Synthesis”&lt;/a&gt; 
technical report. The friendly atmosphere at FDL spawned many interesting discussions and we are grateful that we got the chance to meet, discuss and present next to top researchers in our community.&lt;/p&gt;
</description>
            <pubDate>Thu, 05 Sep 2019 11:00:00 +0000</pubDate>
            <link>https://forsyde.github.io/news/2019-09-05-fdl-paper.html</link>
            <guid isPermaLink="true">https://forsyde.github.io/news/2019-09-05-fdl-paper.html</guid>
            
            <category>news</category>
            
            
        </item>
        
        <item>
            <title>ACM TODAES Paper</title>
            <description>&lt;p&gt;We are happy to announce that the following paper has been published in ACM Transactions on Design Automation of Electronic Systems (TODAES):&lt;/p&gt;

&lt;ul&gt;
  &lt;li&gt;Ricardo Bonna, Denis S. Loubach, George Ungureanu, and Ingo Sander. 2019. Modeling and Simulation of Dynamic Applications Using Scenario-Aware Dataflow. ACM Trans. Des. Autom. Electron. Syst. 24, 5, Article 58 (August 2019), 29 pages.  [&lt;a href=&quot;https://doi.org/10.1145/3342997&quot;&gt;DOI&lt;/a&gt;|&lt;a href=&quot;https://dl.acm.org/citation.cfm?doid=3339837.3342997&quot;&gt;url&lt;/a&gt;|&lt;a href=&quot;https://forsyde.github.io/publications_bib.html#BonLou2019a&quot;&gt;bib&lt;/a&gt;]&lt;/li&gt;
&lt;/ul&gt;

</description>
            <pubDate>Wed, 21 Aug 2019 11:00:00 +0000</pubDate>
            <link>https://forsyde.github.io/news/2019-08-21-todaes-paper.html</link>
            <guid isPermaLink="true">https://forsyde.github.io/news/2019-08-21-todaes-paper.html</guid>
            
            <category>news</category>
            
            
        </item>
        
        <item>
            <title>DeSyDe 0.3.0 Release</title>
            <description>&lt;p&gt;A new version of &lt;a href=&quot;https://github.com/forsyde/DeSyDe/tree/v0.3.0-dsd&quot;&gt;DeSyDe&lt;/a&gt; has been released recently, compatible with and supporting our latest &lt;a href=&quot;/publications#RosMoh2018a&quot;&gt;DSD’18 publication&lt;/a&gt;: &lt;em&gt;K. Rosvall et al., ‘Exploring Power and Throughput for Dataflow Applications on Predictable NoC Multiprocessors’&lt;/em&gt;.&lt;/p&gt;

&lt;p&gt;This version is accompanied by:&lt;/p&gt;

&lt;ul&gt;
  &lt;li&gt;a reproducible set of experiments, as presented in the DSD’18 paper;&lt;/li&gt;
  &lt;li&gt;a set of scripts for generating experiments based on the template above, but for different TDN-NoC platform dimensions;&lt;/li&gt;
  &lt;li&gt;a hands-on &lt;a href=&quot;https://github.com/forsyde/DeSyDe/blob/v0.3.0-dsd/docs/tutorial.md&quot;&gt;user tutorial&lt;/a&gt; which guides newcomers through using the tool and interpreting the output.&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;This release will most likely be stale for a while or will only be followed by minor fixes. At present we are discussing a complete re-design of the tool itself (for scalability and maintainability purpose), which will certainly take significant development effort, so no new major updates are planned for the near future.&lt;/p&gt;
</description>
            <pubDate>Tue, 19 Feb 2019 00:00:00 +0000</pubDate>
            <link>https://forsyde.github.io/news/2019-02-19-desyde-release-0.3.0.html</link>
            <guid isPermaLink="true">https://forsyde.github.io/news/2019-02-19-desyde-release-0.3.0.html</guid>
            
            <category>release_notes</category>
            
            <category>announcements</category>
            
            
        </item>
        
        <item>
            <title>New web pages and tool releases</title>
            <description>&lt;h1 id=&quot;the-forsyde-web-site-is-growing&quot;&gt;The ForSyDe Web Site is Growing&lt;/h1&gt;

&lt;p&gt;We conclude a very busy and intense year, 2018, with announcing some new web content which has finally been compiled together or migrated from old repositories. We are still in the (long) process of exposing and documenting our tools and methods better, and the progress can only done in “baby steps” due to the ruthless workloads here in academia. Nevertheless, we proudly present that:&lt;/p&gt;

&lt;ul&gt;
  &lt;li&gt;&lt;a href=&quot;https://forsyde.github.io/index.html&quot;&gt;The ForSyDe welcome page&lt;/a&gt; has now relevant content.&lt;/li&gt;
  &lt;li&gt;The &lt;a href=&quot;https://forsyde.github.io/forsyde-shallow/&quot;&gt;ForSyDe-Shallow&lt;/a&gt; project has finally received an own page.&lt;/li&gt;
  &lt;li&gt;The same goes for &lt;a href=&quot;https://forsyde.github.io/forsyde-deep/&quot;&gt;ForSyDe-Deep&lt;/a&gt; which has also a web page gathering important resources.&lt;/li&gt;
&lt;/ul&gt;

&lt;h1 id=&quot;new-public-releases&quot;&gt;New Public Releases&lt;/h1&gt;

&lt;p&gt;As of recent tool maintenance, we have published the following Haskell packages on &lt;a href=&quot;https://hackage.haskell.org/&quot;&gt;HackageDB&lt;/a&gt;:&lt;/p&gt;

&lt;ul&gt;
  &lt;li&gt;&lt;a href=&quot;https://hackage.haskell.org/package/forsyde-shallow-3.3.3.0&quot;&gt;ForSyDe-Shallow v.3.3.3&lt;/a&gt; adding the CSDF and SADF MoCs, contribution by &lt;a href=&quot;https://github.com/ricardobonna&quot;&gt;Ricardo Bonna&lt;/a&gt;;&lt;/li&gt;
  &lt;li&gt;&lt;a href=&quot;https://hackage.haskell.org/package/forsyde-deep-0.2.0&quot;&gt;ForSyDe-Deep v.0.2&lt;/a&gt; is finally on HackageDB;&lt;/li&gt;
  &lt;li&gt;the old &lt;a href=&quot;https://hackage.haskell.org/package/ForSyDe&quot;&gt;ForSyDe&lt;/a&gt; package has been formally tagged as deprecated in favor of the aforementioned ones.&lt;/li&gt;
&lt;/ul&gt;
</description>
            <pubDate>Sun, 30 Dec 2018 00:00:00 +0000</pubDate>
            <link>https://forsyde.github.io/news/2018-12-30-new-and-updated-pages.html</link>
            <guid isPermaLink="true">https://forsyde.github.io/news/2018-12-30-new-and-updated-pages.html</guid>
            
            <category>release_notes</category>
            
            <category>announcements</category>
            
            <category>news</category>
            
            
        </item>
        
        <item>
            <title>ForSyDe-Shallow 3.3.3.0 Update</title>
            <description>&lt;h1 id=&quot;forsyde-shallow-update&quot;&gt;ForSyDe-Shallow Update&lt;/h1&gt;

&lt;p&gt;&lt;a href=&quot;https://github.com/forsyde/forsyde-shallow&quot;&gt;ForSyDe-Shallow&lt;/a&gt; has been updated to version 3.3.3, which adds the following features:&lt;/p&gt;

&lt;ul&gt;
  &lt;li&gt;a modeling library for the scenario-aware dataflow (SADF) MoC&lt;/li&gt;
  &lt;li&gt;a modeling library for the cyclo-static data flow (CSDF) MoC&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Currently, this version of ForSyDe-Shallow is only available as a nightly build. We are currently working on the &lt;a href=&quot;https://github.com/forsyde/forsyde-shallow/milestone/2&quot;&gt;3.4.0 release&lt;/a&gt;, which will be available through &lt;a href=&quot;https://hackage.haskell.org/packages/browse&quot;&gt;HackageDB&lt;/a&gt;.
In the meantime we will keep you up to date.&lt;/p&gt;

&lt;p&gt;In the following days an SADF example will also be added to the &lt;a href=&quot;https://github.com/forsyde/forsyde-shallow-examples&quot;&gt;forsyde-shallow-examples&lt;/a&gt; repository.&lt;/p&gt;
</description>
            <pubDate>Wed, 10 Oct 2018 00:00:00 +0000</pubDate>
            <link>https://forsyde.github.io/news/2018-10-10-forsyde-shallow-update-3.3.3.0.html</link>
            <guid isPermaLink="true">https://forsyde.github.io/news/2018-10-10-forsyde-shallow-update-3.3.3.0.html</guid>
            
            <category>release_notes</category>
            
            <category>announcements</category>
            
            
        </item>
        
        <item>
            <title>DSD/SEAA 2018 Paper</title>
            <description>&lt;p&gt;We have presented the following paper at the Euromicro DSD/SEAA 2018 conference which took place in Prague, Czech Republic, between the 29th and the 30th of August:&lt;/p&gt;

&lt;ul&gt;
  &lt;li&gt;Kathrin Rosvall, Tage Mohammadat, George Ungureanu, Johnny Öberg and Ingo Sander. 2018. Exploring Power and Throughput for Dataflow Applications on Predictable NoC Multiprocessors. [&lt;a href=&quot;https://ieeexplore.ieee.org/document/8491891&quot;&gt;url&lt;/a&gt;|&lt;a href=&quot;https://forsyde.github.io/publications_bib.html#RosMoh2018a&quot;&gt;bib&lt;/a&gt;]&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;The manuscript have been published in the &lt;a href=&quot;https://ieeexplore.ieee.org/xpl/conhome/8490807/proceeding&quot;&gt;2018 21st Euromicro Conference on Digital System Design (DSD)&lt;/a&gt;, and can be viewed by following the URL above.&lt;/p&gt;
</description>
            <pubDate>Mon, 03 Sep 2018 11:00:00 +0000</pubDate>
            <link>https://forsyde.github.io/news/2018-09-03-dsd-paper.html</link>
            <guid isPermaLink="true">https://forsyde.github.io/news/2018-09-03-dsd-paper.html</guid>
            
            <category>news</category>
            
            
        </item>
        
    </channel>
</rss>
