Tumblelog by Soup.io
Newer posts are loading.
You are at the newest post.
Click here to check if anything new just came in.

April 16 2017

Updates (2016 and Q1 2017)

I did not blog for a while. Here are some updates on what I've been up to in the 15 months since my last blog post:

I've been working on Yosys and formal verification a lot.

In 2016 I've been visiting EasterHack 2016 and gave a long talk about Verilog Synthesis and Formal Verification with Yosys. I've also been to ORCONF 2016 and 33C3 and gave a shorter talk focusing on Formal Verification with Yosys. (I've also been to FOSDEM 2016 and gave a slightly updated version of my 32C3 talk on my Free and Open Source Verilog-to-Bitstream Flow for iCE40 FPGAs.

Earlier this year I've been invited to JKU to give a talk about my current work, focusing on SymbiYosys.

Also in 2016 I finally released PonyLink, a fast single-wire bidirectional interface for connecting FPGAs. I wrote this some time in 2015 but never found the time to clean it up and release it until last summer.

In November 2016 I've been to Berkeley, CA and had many interesting meetings with some great people there (thanks Alan for inviting me). I also met some of the RISC-V crowd in in Berkeley (Aspire Lab at UCB) and San Francisco (SiFive). As a consequence of this I'm now working on https://github.com/cliffordwolf/riscv-formal">riscv-formal, a framework for formally verifying ISA compliance of RISC-V processor cores.

What else? The IcoBoard is finally available for sale online.

Oh, and we won Best Paper Award at ICCAD 2016 with our paper on malicious design flows that inject trojans during synthesis.
Reposted fromclifford clifford
blahrg
blahrg
9383 b59f 500
Reposted fromc0ffee c0ffee vianoisetales noisetales
0286 5926

nefherondale:

thejamesboyle:

iampetershervheim:

rkidd:

d0esntmakesense:

This is probably the coolest GIF I’ve ever seen.

now there’s some perspective.

I once saw a storm roll like this once. It was beautiful.

wowwwww

Mortifagos. :0

blahrg
5851 c556

XKCD - File Extensions
I have never been lied to by data in a .txt file which has been hand-aligned.

Reposted fromkonbeto konbeto viabalu balu
blahrg

20 Images Of Norwegian Architecture Plucked Straight From A Fairytale

culturenlifestyle:

image

The Norwegian countryside is strewn with architecture that looks better suited to crown the pages of a fairytale book. More commonly known for its Vikings heritage and fjords, these photographs display a wide variety of architectural styles that have been used throughout the Middle Ages to the 19th century in Norway. Check out the stunning collection below.

Crooked and towering wooden churches beckoning like an old crone’s fingers, winding stone path weaving through a forest, hidden waterfalls and lonely wooden cabins overlooking a vast valley at its base are some of the outlandish homes and architectural designs we have featured in this series. Teetering Stave churches, eerie waterfalls cascading down like a creature with its own mind, wooden homes made in the typical Norwegian indigenous style called byggeskikk have none of the linearity or conformity that modern buildings do, and have whimsical elements that heighten its sense of magic.  

Each of these structures below have a particular way of being set into its own environment, standing out from the elements without obstructing nature. Most of the buildings and bridges and pathways have been built with stone and wood balance the scene it has been engineered upon.

image

Barn In Valldal

image

Renndølsetra

image

Ancient Road Vindhellavegen

image

Bridge Over Låtefossen Waterfall

image

Kvednafossen Waterfall In Norway

image

Old Farmhouses

image

At The End Of The World, Tjome

image

Natural Swimming Pool In The Forest

image

Old House

image

House In Norway

image

Fjord Houses

image

Old Village

image

Fisherman Hut, Undredal

image

Bridge In Norway

image

Rogaland, Gullingen

image

Lake Bondhus

image

Small House In Norway

image

Fairy House In Hunderfossen, Lillehammer

image

Under The Aurora

h/t: boredpanda

Reposted fromwartimenovelty wartimenovelty viabalu balu
blahrg
3825 62dc 500
Reposted fromneon neon viabalu balu
blahrg
Reposted fromamaxoxo4 amaxoxo4 viabalu balu
blahrg
8023 465f

Too much satisfaction in one gif

Reposted fromkinkdaddymink kinkdaddymink viabalu balu
0702 1323 500

vote1bags:

haveyoumetmosby:

In Finland we have these one-person benches in the park because we don’t like sitting too close to other people.

this is the most fucking suomi thing i’ve ever goddamn seen

Reposted fromKZavi KZavi viabalu balu
blahrg
6573 e5bb
Reposted fromdesinteressement desinteressement viabalu balu
blahrg

My dream home

Reposted frompunisher punisher viabalu balu
blahrg
Hypervelocity impact sample 💥 When a ~1/2" diam. Al ball impacts a 7" thick Al block @ 15k mph, simulating space debris hitting a spacecraft
Reposted fromscience science
blahrg
8784 6673 500
Reposted fromRockYourMind RockYourMind viastarbug starbug
5737 50d8 500

sydmarch:

fullmetalfisting:

We accidentally became a Monet piece today

we were a performance piece for real

3478 29bb 500
Reposted fromjabberokkie jabberokkie viabrightbyte brightbyte

polyamorousmisanthrope:

molly-ren:

snarkyhorseshit:

snarkyhorseshit:

I was just thinking how cool it would be to turn my two couches into some kind of mega comfy living room nest and then I remembered I live alone and there is literally nothing that can stop me from doing this.

image

Did it.

LIVE YOUR BEST LIFE

See!  See! Someone doing adulting right!

Reposted fromjanghye-yung janghye-yung viabrightbyte brightbyte
Older posts are this way If this message doesn't go away, click anywhere on the page to continue loading posts.
Could not load more posts
Maybe Soup is currently being updated? I'll try again automatically in a few seconds...
Just a second, loading more posts...
You've reached the end.

Don't be the product, buy the product!

Schweinderl