Softbank 向けメールサーバの設定

Wifi 接続の iPhone からつかえるんだから、当然 Thunderbird とかからでも利用可能。

パスワードの文字数制限とSMTPの変なポート番号に嵌った・・・

受信

プロトコル

IMAP

ポート

143

SSL

オフ

ユーザ名

メアドの @ より前。メアド変えたら変わる

パスワード

変更したパスワード。最大12文字で切られるので、SMS で届く変更後パスワードをチェック（これで嵌った）

References

iPhone3G part76 11 さんサンクス！

送信

プロトコル

SMTP

ポート

587

SSL

オフ

ユーザ名

メアドの @ より前。メアド変えたら変わる

パスワード

IMAPと同じ。謎の文字数制限に注意。

iPhone ファーストインプレッション

• 一晩放置で電池が切れた
• iPod nano のケーブルでもつながった
• Softbankのメールサーバ腐ってるけど、PCから送受信できるのは嬉しい
• Gmail にもあっさりアクセス
• Safari いいよ、Safari
• 設定画面とかがちょっともっさりしてるけど、そんなに不満ないかなー

これから電話帳の移行に挑戦。

Verilog で TDD もどきを実現するために、YAMLで書いたテスト定義からテストベンチを生成するスクリプトを書いた

もうちょっと手を入れたらここにでも張っておこうかなぁと思っています。

Verilog HDL はハードウェアを記述するための C 言語ライクな言語なのです。ソースコードとテストベンチと呼ばれるテスト用の入力パターンをコンパイラに渡すと、コンパイル後、シミュレーションが実行され、その結果を波形で確認することが可能です。

しかし、その波形を目で見て動作を検証するのは、エンバグなどの見落としにつながります。というかめんどいです。かと言って assert 文があるわけでもないわけです。

テスト容易化設計(Design For Testability) なんて格好いい言葉もありますが、これも製造後の不良品検査用途なわけで、開発中のテストには無縁です。

まぁ、無ければ作ればいいわけで。YAML でテストコードを書いて、assertion を記述できるようにして、if 文とエラー出力に変換する、Ruby スクリプトをでっち上げました。

以下は、一部抜粋ですが

  #  STORE, NOP, ADDI, NOP, LOAD
  - name: LOAD_STORE_TEST_07
    delay: 100
    asserts:
      # memory
      # LOAD r1, 0x1
      pcpuwm.pcpu.MEM_WB_C1: 0x0000
  - name: LOAD_STORE_TEST_07_2
    delay: ~50
    asserts:
      pcpuwm.pcpu.reg1: 0x0000
 
  #  NOP, STORE, NOP, ADDI, NOP
  - name: LOAD_STORE_TEST_08
    delay: 100
    asserts:
      # decode
      # LOAD r1, 0x1
      pcpuwm.pcpu.IF_ID_INST : 0x1101
      pcpuwm.pcpu.op_code: 0b00010
      pcpuwm.pcpu.r0_port: 1
      # memory
      # LOAD r1, 0x1
      pcpuwm.pcpu.MEM_WB_C1: 0x0000

みたいな YAML からテストベンチを生成して（それは Makefile にしこんでます）テストベンチを実行すると、

-------------------------------------------------------------------------------
*** Error on LOAD_STORE_TEST_07::pcpuwm.pcpu.MEM_WB_C1@1750, expected: 16'h0, but actual: 0x1001
-------------------------------------------------------------------------------
*** Error on LOAD_STORE_TEST_07_2::pcpuwm.pcpu.reg1@1750, expected: 16'h0, but actual: 0x1001
-------------------------------------------------------------------------------
*** Error on LOAD_STORE_TEST_08::pcpuwm.pcpu.IF_ID_INST@1850, expected: 16'h1101, but actual: 0x1901
-------------------------------------------------------------------------------
*** Error on LOAD_STORE_TEST_08::pcpuwm.pcpu.op_code@1850, expected: 5'b00010, but actual: 0x03
-------------------------------------------------------------------------------
*** Error on FIB_06::pcpuwm.pcpu.ID_EX_A@2950, expected: 16'h0, but actual: 0x0014
------------------------------------------------------------------------------

some test was failed.......

↑みたいなテスト結果が出てくるわけです。TDD 万歳。

色々と不足してたり、作りながら仕様考えてるので整合性のない部分もありますので、もうちょっと修正。