Go to content Go to filters Go to search Go to footer

/m/electronics@discuss.tchncs.de

Add new link
Add new thread
Add new photo
Add new post
Create new magazine

Select a channel

Subscribed
Moderated
Favorites
All

Log in

Great Introduction to Formal Verification : "Formal Verification An Essential Toolkit For Modern VLSI Design"

cross-posted from: discuss.tchncs.de/post/2357238...

hardware26, 2 years ago

report
activity
more from domain

copy /kbin url
copy original url
open original url

Loading...

Activity (4)

Empty

Theme

General

Sidebar position

Left Right

Dynamic lists

Rounded edges

Infinite scrolling Automatically load more content when you reach the bottom of the page.

Sticky navbar The navbar will stick to the top of the page when you scroll down.

Show top bar

Turbo mode (experimental)

Mark new comments

Show "Support Us" block

Sub Channel

Show subscribed users

Show subscribed magazines

Show subscribed domains

Threads

Auto media preview Automatically expand media previews.

Compact view

Show users’ avatars

Show magazines’ icons

Show thumbnails

Microblog

Auto media preview Automatically expand media previews.

Show users’ avatars

Single

Comment reply position Display the comment reply form either at the top or bottom of the page. When 'infinite scroll' is enabled the position will always appear at the top.

top bottom

Show Comment Avatars Display/hide user avatars when viewing comments on a single thread or post.

Federation

Status:

Instances:

/m/electronics@discuss.tchncs.de

Thread

hardware26

@hardware26@discuss.tchncs.de

0

Added: 2 years ago
Online: -
Ratio: 0

Magazine

electronics

@electronics@discuss.tchncs.de

1

Projects, pictures, industry discussions and news about electronic engineering & component-level electronic circuits.

Rules

1: Be nice.

2: Be on-topic (eg: Electronic, not electrical).

3: No commercial stuff, buying, selling or valuations.

4: No circuit design or repair, tools or component questions.

5: No excessively promoting your own sites, social media, videos etc.

Ask questions in discuss.tchncs.de/c/askelectronics

Created: 2 years ago
Owner: Sprite_tm
Subscribers: 1
Online: -

Threads 43
Comments 201
Posts 1
Replies 3
Moderators 1
Moderation log 3

Moderators

Sprite_tm

Active people

Create your own instance

Clone repo and develop fediverse

kbin.spritesserver.nl

useful

Create new magazine

Add new thread

Add new link

Add new photo

help

Terms of service

© 2025 kbin.spritesserver.nl

Powered by kbin ∙ Report issue

All

Subscribed

Moderated

Favorites

•

electronics@discuss.tchncs.de

localhost

All magazines

0

Loading the web debug toolbar…

Attempt #