【事後レポート】フォーマル検証ディスカッション

Design Solution Forum 2017 実行委員の酒井です。セミナー当日は多くの皆さまにご来場いただき、誠にありがとうございました。この記事では、私が担当した企画「フォーマル検証ディスカッション」で行われた 続きを読む →

【事後レポート】先輩エンジニアに色々聞いてみたい!

フリートークセッション「先輩エンジニアに色々聞いてみたい!」の事後レポートです。 ランチ会場でランチ時間の開催だったので、賑やかな雰囲気でスタートしました。 20代から50代まで幅広い方にインタビューを聞いていただきまし 続きを読む →

先輩エンジニアに色々聞いてみたい!

エンジニアのみなさん、キャリアで思い悩むことはありませんか? 私もエンジニアとしてのキャリア、エンジニア人生のなかで何度か悩んできました。 ちょうど最近もアラフォーだからか、自らのキャリアについて悩むことがありました そ 続きを読む →

OSSの知見を集めて高めて広げよう-DSF2017ソフトウェア企画の目指す道

Design Solution Forum(以下、DSF)では、毎年ソフトウェア技術者の方に向けた特別企画やエンジニア・セッションを実施しており、今年のDSF2017では、「Linuxシステム解析について語ろう」と題した 続きを読む →

ハード、ソフト、どっちが悪い?

開発終盤、納期間近にも関わらず実機のトラブルで、ハード屋やソフト屋が計測器を抱えて走り回ることを、技術者であれば何度か経験があるのではないでしょうか。 ハード、ソフト、どっちが悪いのでしょうか!? こういった経験を異分野 続きを読む →

フォーマル検証、使っていますか?

皆さん、フォーマル検証、使っていますか? 最近、「フォーマル検証」という言葉を耳にする、あるいは口にする機会が増えてきた――そのように感じている方も、多いのではないでしょうか。EDAベンダ各社のプレスリリース等を眺めてみ 続きを読む →